Skip to content

Merge pull request #9771 from peterbecich/source-repo-offline #142

Merge pull request #9771 from peterbecich/source-repo-offline

Merge pull request #9771 from peterbecich/source-repo-offline #142

Triggered via push March 8, 2024 15:26
Status Success
Total duration 8m 21s
Artifacts

quick-jobs.yml

on: push
Meta checks
6m 0s
Meta checks
Doctest Cabal
8m 7s
Doctest Cabal
Check Field Syntax Reference
7m 8s
Check Field Syntax Reference
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Meta checks
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Check Field Syntax Reference
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Doctest Cabal
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.