Skip to content

Conversation

@dbaileychess
Copy link
Collaborator

Removes some old comments from the CI builds.

Removes some old comments from the CI builds.
@github-actions github-actions bot added the CI Continuous Integration label Nov 18, 2023
@dbaileychess dbaileychess merged commit eb80ead into master Nov 18, 2023
@dbaileychess dbaileychess deleted the dbaileychess-patch-1 branch November 18, 2023 21:41
jochenparm pushed a commit to jochenparm/flatbuffers that referenced this pull request Oct 29, 2024
Removes some old comments from the CI builds.
jochenparm pushed a commit to jochenparm/flatbuffers that referenced this pull request Oct 29, 2024
Removes some old comments from the CI builds.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous Integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant