Skip to content
Quick jobs

Merge pull request #9707 from alt-romes/wip/romes/9697-nonlocal-test #7

Sign in to view logs

Merge pull request #9707 from alt-romes/wip/romes/9697-nonlocal-test

Merge pull request #9707 from alt-romes/wip/romes/9697-nonlocal-test #7

Triggered via push February 19, 2024 07:42
@alt-romesalt-romes
pushed 2acae63
master
Status Success
Total duration 8m 11s
Artifacts –

quick-jobs.yml

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