Skip to content
.github/workflows/rust-ci.yml

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

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 #425

Triggered via pull request June 24, 2026 11:28
@hyperpolymathhyperpolymath
#138
feat/aggregate-idris2-fixture
Status Failure
Total duration –
Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.