mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
* Builds nightly binary tarballs on Linux, macOS, and Windows * Runs tests on every PR and merge to master * Includes GitHub Actions status in README instead of Travis * Makes the GitRev recompile hack less fragile * Makes the Makefile Cabal v3 compatible * Builds the manual as part of the CI process
6 lines
175 B
YAML
6 lines
175 B
YAML
feature: ["feature/*", "feat/*"]
|
|
enhancement: ["enhancement/*"]
|
|
fix: ["fix/*", "bugfix/*", "bug/*"]
|
|
breaking: ["breaking/*"]
|
|
solver: ["solver/*", "*z3*", "*cvc4*", "*yices*"]
|