Skip to content

Move to Github Actions #9

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.

Sign up for GitHub

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

Merged
merged 12 commits into from
Jan 10, 2021
Merged

Move to Github Actions #9

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
5034e38
ci: move to Github Actions instead of Appveyor/Travis
maelvls Jan 7, 2021
d32fc37
ci: fix windows paths that need to be quoted
maelvls Jan 9, 2021
2f7c2f0
ci: also test with "opam install ."
maelvls Jan 8, 2021
98466d2
ci: move from opam pin to opam install
maelvls Jan 8, 2021
eafc5ca
ci: fix CRLF ending on windows + cygwin
maelvls Jan 10, 2021
cbc419d
build: require ocaml 4.08.0 or above
maelvls Jan 7, 2021
4c3c3f5
docs: change the CI badge on the README
maelvls Jan 7, 2021
1e78fac
changelog: add a changelog line to the readme
maelvls Jan 7, 2021
ba808c0
opam: qdd onuit as a test dependency
maelvls Jan 8, 2021
da73e1f
opam: add odoc as a doc dependency
maelvls Jan 8, 2021
03869ba
dune: remove now useless oasis files
c-cube Jan 8, 2021
8ac24fa
dune: remove -Lsrc/quantor
maelvls Jan 10, 2021
File filter

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
ci: also test with "opam install ."
  • Loading branch information
@maelvls
maelvls committed Jan 10, 2021
commit 2f7c2f0df7193652e9547f735d67a9dfa300e4d6
5 changes: 3 additions & 2 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,8 +33,9 @@ jobs:
with:
ocaml-version: ${{ matrix.ocaml-version }}
- run: opam install -y . --deps-only --with-test --with-doc
- run: opam exec -- dune build @install -p qbf
- run: opam exec -- dune runtest -p qbf
- run: opam exec -- dune build
- run: opam exec -- dune runtest
- run: opam install .
- run: opam pin add -y .#HEAD
- run: opam remove qbf
- name: Check that it uninstalled correctly
Expand Down