Skip to content
.github/workflows/secret-scanner.yml

ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) #224

Sign in to view logs

ci: add reliable Agda job (version-matched agda-stdlib via git) (#106)

ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) #224

Triggered via push July 7, 2026 10:24
@hyperpolymathhyperpolymath
pushed 2acfc89
main
Status Failure
Total duration 0s
Artifacts –

This workflow graph cannot be shown

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