John MacFarlane 1bc48e9dc5 CI: use cabal 3.8.1.0, --ghc-options=-Werror. ...

Previously we had to work around a cabal-install bug that caused
`-Werror` to react to dependencies as well as local packages,
but this is fixed in cabal 3.8.1.0.  There are some cases in which
building dependencies only doesn't work (see #8084).

2022-11-07 08:32:54 -08:00

..

benchmark.yml

Split benchmarks out of CI into separate action.

2022-09-27 09:34:57 -07:00

ci.yml

CI: use cabal 3.8.1.0, --ghc-options=-Werror.

2022-11-07 08:32:54 -08:00

commit-validation.yml

Bump actions/checkout from 2 to 3 (#7986)

2022-03-24 17:51:31 -07:00

format-validation.yml

Bump actions/checkout from 2 to 3 (#7986)

2022-03-24 17:51:31 -07:00

lint.yml.bkp

Set permissions for GitHub actions (#7984)

2022-03-24 09:32:57 -07:00

nightly.yml

Nightly: strip executables on windows and macos.

2022-10-29 22:19:28 -07:00

release-candidate.yml

Switch release_candidate workflow to workflow_dispatch

2022-10-24 16:23:30 -07:00