Admit generic Edict pure-program contracts #874
flyingrobotsdet-gates.yml
on: pull_request
classify-changes
8s
Matrix: build-repro-candidate
G1 determinism (linux)
1m 12s
G1 determinism (macos)
1m 28s
Static nondeterminism inspection
16s
G2 decoder security tests
31s
G3 perf regression (criterion)
2m 18s
Evidence artifact presence
9s
Annotations
2 errors and 10 warnings
|
G4 independent build comparison
Process completed with exit code 1.
|
|
Evidence artifact presence
Process completed with exit code 1.
|
|
classify-changes
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Static nondeterminism inspection
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
G2 decoder security tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
G1 determinism (linux)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
G1 determinism (macos)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
G3 perf regression (criterion)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
G4 build candidate 1
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
G4 build candidate 2
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
G4 independent build comparison
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Evidence artifact presence
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
build-repro-artifacts
|
1.18 MB |
sha256:190f39c8615c0a483b70a041d40bbd2d5c2435f6786f9ec3a3754c3a8bdf1571
|
|
|
build-repro-candidate-1
|
604 KB |
sha256:4dbcd4ee8725081b80e4d11fcad6af1b2e2f5ff949fbf67fa57eb85971a4f5ec
|
|
|
build-repro-candidate-2
|
604 KB |
sha256:1f0b61b53785595b8441457e0e5dde4462c8e25914941a9542bcd6e2f3e9ca90
|
|
|
det-linux-artifacts
|
3.03 KB |
sha256:a96a6642d799b9885360fe6689151154b86112e745571cfa48dc69d174ec54d5
|
|
|
det-macos-artifacts
|
3.04 KB |
sha256:49542d5521257798ed1a812e7e9932e4e16442a03346725c3cbdd0dc712a3920
|
|
|
perf-artifacts
|
660 Bytes |
sha256:89f61ce5007dd062d81e2c618be8dcce09bd4d40012c295d14cd41c9f6bb504e
|
|
|
sec-artifacts
|
965 Bytes |
sha256:0f5aa984d444f1d67061edae9ed98b446de76f36553120b569a056653fc4761c
|
|
|
static-inspection
|
4.71 KB |
sha256:dc34e145051a13d3ee7e7adc734c84fe89d1c276a9c324921afa88bddd9b3778
|
|