Skip to content

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

Revise spec to be in Typst + Add some agda

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

Triggered via pull request June 24, 2026 09:40
Status Success
Total duration 10m 8s
Artifacts 1

bench-e2e-diff.yaml

on: pull_request
Compute e2e benchmark differences
10m 3s
Compute e2e benchmark differences
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Compute e2e benchmark differences
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, peter-evans/create-or-update-comment@v4, peter-evans/find-comment@v3. 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
bench-e2e-diff
858 Bytes
sha256:e83ced1fe7e3555d386154bfd1c42cc86be768381a4ac7fe4df3269d141929e8