Skip to content

Merge pull request #9634 from mpickering/wip/bin-bash #3

Merge pull request #9634 from mpickering/wip/bin-bash

Merge pull request #9634 from mpickering/wip/bin-bash #3

Triggered via push January 31, 2024 16:49
Status Success
Total duration 8m 25s
Artifacts

quick-jobs.yml

on: push
Meta checks
5m 59s
Meta checks
Doctest Cabal
8m 12s
Doctest Cabal
Check Field Syntax Reference
7m 4s
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/.