Skip to content
CI

notes: how branches for upstream PRs get signed #453

Sign in to view logs

notes: how branches for upstream PRs get signed

notes: how branches for upstream PRs get signed #453

Triggered via pull request October 19, 2026 23:06
@hyperpolymathhyperpolymath
synchronize #191
docs/commit-signing-routine
Status Success
Total duration 2m 12s
Artifacts –

ci.yml

on: pull_request
Code relevance
10s
Code relevance
Occupancy relevance
9s
Occupancy relevance
Julia tests
0s
Julia tests
Agda proofs
0s
Agda proofs
Occupancy typed peak
0s
Occupancy typed peak
Occupancy disagreement test
0s
Occupancy disagreement test
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Occupancy relevance
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Code relevance
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/