Skip to content
Workflow Security Linter

proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure #150

Sign in to view logs

proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure

proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure #150

Triggered via pull request June 2, 2026 23:07
@hyperpolymathhyperpolymath
synchronize #133
proofs/q1-c-pilot-primitive-eq-axioms
Status Success
Total duration 10s
Artifacts –

workflow-linter.yml

on: pull_request
lint-workflows
7s
lint-workflows
Fit to window
Zoom out
Zoom in