tie/.github/workflows
2024-05-28 15:10:56 +02:00
..
ci.yml CI: Test with ghc-9.2.3 2022-06-12 14:58:07 +02:00
lint.yml Lint workflow 2024-05-28 15:10:56 +02:00
release.yml Revert "upload build artifacts instead of creating releases" 2023-02-28 15:40:43 +01:00