Skip to content
Code Coverage

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#… #431

Sign in to view logs

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#…

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#… #431

Triggered via push June 24, 2026 11:29
@hyperpolymathhyperpolymath
pushed 826d541
main
Status Success
Total duration 5m 1s
Artifacts –

coverage.yml

on: push
Generate Coverage Report
4m 51s
Generate Coverage Report
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Generate Coverage Report
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/