Skip to content
CodeQL Security Analysis

proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 #189

Sign in to view logs

proof(verisimdb): close V1 (Octad coherence invariant) in Idris2

proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 #189

Run time

Learn about OS pricing on GitHub Actions
Job Run time
analyze (javascript-typescript, none)
1m 8s
1m 8s