-
-
Notifications
You must be signed in to change notification settings - Fork 12.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
ocaml 4.14.0 #102436
Closed
Closed
ocaml 4.14.0 #102436
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
BrewTestBot
added
bump-formula-pr
PR was created using `brew bump-formula-pr`
CI-build-dependents-from-source
Pass --build-dependents-from-source to brew test-bot.
labels
May 27, 2022
BrewTestBot
added
the
automerge-skip
`brew pr-automerge` will skip this pull request
label
May 27, 2022
cho-m
commented
May 27, 2022
Don't know why this happens with
|
cho-m
force-pushed
the
bump-ocaml-4.14.0
branch
3 times, most recently
from
May 28, 2022 20:53
2fe32d3
to
d20fd4e
Compare
cho-m
added
CI-no-fail-fast
Continue CI tests despite failing GitHub Actions matrix builds.
CI-build-dependents-from-source
Pass --build-dependents-from-source to brew test-bot.
in progress
Stale bot should stay away
and removed
CI-build-dependents-from-source
Pass --build-dependents-from-source to brew test-bot.
labels
May 28, 2022
cho-m
commented
May 30, 2022
cho-m
force-pushed
the
bump-ocaml-4.14.0
branch
from
September 20, 2022 06:42
d20fd4e
to
b1e16ae
Compare
cho-m
commented
Sep 20, 2022
cho-m
force-pushed
the
bump-ocaml-4.14.0
branch
from
September 20, 2022 10:38
ef4b901
to
0918e09
Compare
cho-m
added
CI-long-timeout
[DEPRECATED] Use longer GitHub Actions CI timeout.
ready to merge
PR can be merged once CI is green
and removed
CI-long-timeout
[DEPRECATED] Use longer GitHub Actions CI timeout.
labels
Sep 20, 2022
carlocab
approved these changes
Sep 20, 2022
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Labels
automerge-skip
`brew pr-automerge` will skip this pull request
bump-formula-pr
PR was created using `brew bump-formula-pr`
CI-build-dependents-from-source
Pass --build-dependents-from-source to brew test-bot.
CI-no-fail-fast
Continue CI tests despite failing GitHub Actions matrix builds.
long build
Set a long timeout for formula testing
outdated
PR was locked due to age
ready to merge
PR can be merged once CI is green
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Created with
brew bump-formula-pr
.