Skip to content
Quick jobs

Fix #10042 Don't recommend deprecated/removed 'extensions:' field (backport #10044) #10388

Sign in to view logs

Fix #10042 Don't recommend deprecated/removed 'extensions:' field (backport #10044)

Fix #10042 Don't recommend deprecated/removed 'extensions:' field (backport #10044) #10388

Triggered via pull request June 7, 2024 11:41
@ulysses4everulysses4ever
synchronize #10078
mergify/bp/3.12/pr-10044
Status Success
Total duration 9m 10s
Artifacts –

quick-jobs.yml

on: pull_request
Meta checks
5m 32s
Meta checks
Doctest Cabal
7m 18s
Doctest Cabal
Check Field Syntax Reference
8m 55s
Check Field Syntax Reference
Check Release Project
2m 17s
Check Release Project
Fit to window
Zoom out
Zoom in

Annotations

1 warning
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/.