workflows

May 17, 2024

4c7a2cb · May 17, 2024

Name	Name	Last commit message	Last commit date
parent directory ..
integration-tests.yml	integration-tests.yml	Reset the CI cache	May 17, 2024
lint.yml	lint.yml	Fix #6469 Update GitHub workflow actions	Feb 1, 2024
stan.yml	stan.yml	Fix #6469 Update GitHub workflow actions	Feb 1, 2024
tmate.yml	tmate.yml	Amend tmate workflow	Sep 24, 2023
unit-tests.yml	unit-tests.yml	Fix #6572 Bump Stack to GHC 9.6.5/lts-22.21	May 7, 2024

Provide feedback