Skip to content
ClusterFuzzLite PR fuzzing

fix(ci): robust agda-stdlib registration (green the proofs workflow) #104

Sign in to view logs

fix(ci): robust agda-stdlib registration (green the proofs workflow)

fix(ci): robust agda-stdlib registration (green the proofs workflow) #104

Triggered via pull request July 7, 2026 05:35
@hyperpolymathhyperpolymath
opened #103
ci-agda-fix
Status Success
Total duration 7m 37s
Artifacts –

cflite_pr.yml

on: pull_request
Matrix: PR
Fit to window
Zoom out
Zoom in