Move to Github Actions #9
Merged
Conversation
This file contains hidden or 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
maelvls
force-pushed
the
move-to-github-actions
branch
from
aaf63d3 to
3798be1
Compare
|
wait until #7 is merged, it disables these terrible warnings |
maelvls
force-pushed
the
move-to-github-actions
branch
from
3798be1 to
4503bca
Compare
c-cube
force-pushed
the
move-to-github-actions
branch
from
b39e099 to
1f323f8
Compare
|
I'm tired of this, will resume later unless you want to try and make it work |
|
I’ll try now 😅 Fixing CI is such a time sink
|
|
Finallyyy it passes!! 🎉🎉 Edit: almost |
maelvls
force-pushed
the
move-to-github-actions
branch
from
ef3f834 to
5bc44d4
Compare
|
Yes! Now it works 😁 |
maelvls
force-pushed
the
move-to-github-actions
branch
from
79017a8 to
117de7a
Compare
Reasoning: I find it quite tricky/time consumming to maintain two configurations for two separate CI providers. Signed-off-by: Simon Cruanes <simon.cruanes.2007@m4x.org>
This is because Pervasives has been removed from the latest versions of OCaml. Its replacement is Stdlib since 4.08.0.
I did that in order to aboid the annoying ld warning that says that
src/quantor was not found when building an executable that uses
ocaml-qbf.
I also made sure there is no (bash ...) which was causing issues on
Windows + Cygwin: the command (bash %{make}) was picking up the wrong
make binary.
maelvls
force-pushed
the
move-to-github-actions
branch
from
117de7a to
8ac24fa
Compare
|
Awesome, thank you! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
At first, I just wanted to update and fix the
.travis-ci.ymlandappveyor.yml. And since I had already made the change to Github Actions on touist and ocamlyices2, I figured why not move ocaml-qbf to it too?