Skip to content

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

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 #131

Triggered via pull request July 29, 2024 08:24
Status Success
Total duration 13s
Artifacts

check-cabal-gild.yml

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