Skip to content

Commit

Permalink
Merge pull request #473 from shym/new-ci-common
Browse files Browse the repository at this point in the history
Merge the CI workflows and stop using `setup-ocaml`
  • Loading branch information
jmid authored Sep 5, 2024
2 parents cef8d59 + 0a058f0 commit 5b33b02
Show file tree
Hide file tree
Showing 60 changed files with 411 additions and 666 deletions.
1 change: 1 addition & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
*.sh text eol=lf
1 change: 0 additions & 1 deletion .github/opam/custom/repo

This file was deleted.

107 changes: 0 additions & 107 deletions .github/opam/ocaml-variants.opam.unix

This file was deleted.

121 changes: 0 additions & 121 deletions .github/opam/ocaml-variants.opam.windows

This file was deleted.

Loading

0 comments on commit 5b33b02

Please sign in to comment.