SATySFi
SATySFi copied to clipboard
Add OCaml 4.08 and 4.09 in Travis CI
I wonder why Travis is not triggered
:eyes: Travis itself says the CI was triggered and passed: https://travis-ci.org/gfngfn/SATySFi/builds/588330199. So some connection between Travis and GitHub seems to be broken.
@gfngfn Did you change a configuration of GitHub in May 2019? According to a commit log, the connection was broken around that.
Shall we close this PR, since we now use GitHub Actions, and OCaml 4.08 and 4.09 seems no longer be supported? Do we need to add these version to.github/workflows/ci.yml
?