Skip to content

Fix missing month number in GHA cache key. Use the latest patch of toolchain tools #114

Fix missing month number in GHA cache key. Use the latest patch of toolchain tools

Fix missing month number in GHA cache key. Use the latest patch of toolchain tools #114

Triggered via pull request July 26, 2024 13:18
Status Success
Total duration 17s
Artifacts

check-cabal-gild.yml

on: pull_request
check-cabal-gild
5s
check-cabal-gild
Fit to window
Zoom out
Zoom in