Skip to content

Retain observed execution footprints for falsification #859

Retain observed execution footprints for falsification

Retain observed execution footprints for falsification #859

Triggered via pull request August 4, 2026 11:08
Status Success
Total duration 4m 21s
Artifacts 8

det-gates.yml

on: pull_request
classify-changes
11s
classify-changes
Matrix: build-repro-candidate
G1 determinism (linux)
51s
G1 determinism (linux)
G1 determinism (macos)
1m 16s
G1 determinism (macos)
Static nondeterminism inspection
19s
Static nondeterminism inspection
G2 decoder security tests
21s
G2 decoder security tests
G3 perf regression (criterion)
2m 21s
G3 perf regression (criterion)
G4 independent build comparison
1m 3s
G4 independent build comparison
Evidence artifact presence
8s
Evidence artifact presence
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
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 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 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 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.17 MB
sha256:a41aee37544107af42a0e055f1cf54359a20c14bd365dbaa5a1f0e4e99131619
build-repro-candidate-1
597 KB
sha256:2e9601785eab87d958b9c8ba2910dba5b96932025e5349a1927785ab25809987
build-repro-candidate-2
597 KB
sha256:dcd1fb1f179266d1bb207665773b8469e9a89f1185cc04fcfad09ccf2700b642
det-linux-artifacts
3.03 KB
sha256:df954fb9fd2127c59cda04a367ae706730b23dbf272b26841c6f3897aa19d850
det-macos-artifacts
3.04 KB
sha256:26ba07db1ff77e0655ac46a49213e34588adac5eeb64ec3a3cbda8a8030bb03a
perf-artifacts
662 Bytes
sha256:d566c7561c61a4a0e4235eb5c57d04657d183fe6933f5191ba11ecc175c63b23
sec-artifacts
970 Bytes
sha256:2356e05b4270487bf9ab4e22a256806bd7fcb23995e3a144ef47b7927733dc3d
static-inspection
4.71 KB
sha256:ee86db19cc9adcb5159415dff68928ee51d35256d7851a09fa084a7da88c9cbe