Skip to content
Network fault tolerance

Revise spec to be in Typst + Add some agda #6721

Sign in to view logs

Revise spec to be in Typst + Add some agda

Revise spec to be in Typst + Add some agda #6721

Triggered via pull request July 2, 2026 13:45
@noonionoonio
synchronize #2736
typst-agda-spec
Status Success
Total duration 10m 46s
Artifacts 3

network-test.yaml

on: pull_request
Matrix: network-test
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Peers: 3, scaling: 10, loss: 10
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, cachix/cachix-action@v15. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Peers: 3, scaling: 10, loss: 50
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, cachix/cachix-action@v15. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Peers: 3, scaling: 10, loss: 90
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, cachix/cachix-action@v15. 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
artifacts-netem-loss=10,scaling_factor=10,peers=3
793 KB
sha256:fa0cfc62b9f81a22cbd956384ef8666358bfc822d2437a8f8c80ce81e56b56bc
artifacts-netem-loss=50,scaling_factor=10,peers=3
814 KB
sha256:8fb85a33d4724465d875c4ea737f420ebdbd5758cce95fc0f3bd86a331c0894b
artifacts-netem-loss=90,scaling_factor=10,peers=3
817 KB
sha256:720c05ff5b83f3a042ae7e4b60d80bff31fd9939eff3beb277aebd6e467bbcd0