Skip to content

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

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

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

check-cabal-files.yml

on: pull_request
check-cabal-files
7s
check-cabal-files
Fit to window
Zoom out
Zoom in

Annotations

1 warning
check-cabal-files
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/