Code Coverage

coverage.yml

898 workflow runs

release(v2.5.5): tag the 11-PR context-awareness cohort (#118)
completed successfully:
Code Coverage#400:Commitd5f3a4fpushedbyhyperpolymath
main
Jun 2, 202614m 22s
feat(safe_path): port proven SafePath as pure-Rust + add traversal guard (#115)
completed successfully:
Code Coverage#399:Pull request#120openedbyhyperpolymath
feat/proven-safepath-port
Jun 2, 202613m 46s
proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113)
completed successfully:
Code Coverage#398:Pull request#119openedbyhyperpolymath
proofs/layer-1-0-slash-slash-closure
Jun 2, 202616m 26s
release(v2.5.5): tag the 11-PR context-awareness cohort
completed successfully:
Code Coverage#397:Pull request#118openedbyhyperpolymath
release/v2.5.5
Jun 2, 202613m 0s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME…
completed successfully:
Code Coverage#396:Commit2fc73bdpushedbyhyperpolymath
main
Jun 2, 20269m 59s
docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME comprehensive close-out
completed successfully:
Code Coverage#395:Pull request#112openedbyhyperpolymath
docs/v2.5.5-comprehensive-closeout
Jun 2, 202615m 43s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l…
failed:
Code Coverage#394:Commitad1faf6pushedbyhyperpolymath
main
Jun 2, 20263m 33s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110)
failed:
Code Coverage#393:Commitad72e06pushedbyhyperpolymath
main
Jun 2, 20263m 19s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma
failed:
Code Coverage#392:Pull request#111openedbyhyperpolymath
proofs/layer-1-0-strip-idempotence
Jun 2, 20263m 38s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up
failed:
Code Coverage#391:Pull request#110openedbyhyperpolymath
feat/v2.5.5-phase-2-wire-up
Jun 2, 20263m 22s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109)
failed:
Code Coverage#390:Commit600bf51pushedbyhyperpolymath
main
Jun 2, 20263m 29s
ci(codeql): cron weekly→monthly (cut 3, standards#288)
failed:
Code Coverage#389:Pull request#109openedbyhyperpolymath
cicd/codeql-cron-monthly
Jun 2, 20263m 33s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test…
failed:
Code Coverage#388:Commitd25210dpushedbyhyperpolymath
main
Jun 2, 20265m 10s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / TestMock)
failed:
Code Coverage#387:Pull request#106synchronizebyhyperpolymath
feat/v2.5.5-ffi-refinement
Jun 2, 20264m 6s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus…
failed:
Code Coverage#386:Commit62c98ccpushedbyhyperpolymath
main
Jun 2, 20263m 48s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-push
failed:
Code Coverage#385:Pull request#108openedbyhyperpolymath
feat/v3.0.0-chapel-verisim-push
Jun 2, 202614m 26s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa…
failed:
Code Coverage#384:Commitf0b6463pushedbyhyperpolymath
main
Jun 2, 20263m 48s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wasm/JS)
failed:
Code Coverage#383:Pull request#107openedbyhyperpolymath
feat/v2.5.5-jit-context
Jun 2, 20263m 28s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress…
failed:
Code Coverage#382:Commit7d633e3pushedbyhyperpolymath
main
Jun 2, 20263m 21s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppression
failed:
Code Coverage#381:Pull request#105openedbyhyperpolymath
feat/v2.5.5-comment-analysis
Jun 2, 20263m 28s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape …
failed:
Code Coverage#380:Commit016dd53pushedbyhyperpolymath
main
Jun 2, 20263m 27s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape
failed:
Code Coverage#379:Pull request#104openedbyhyperpolymath
docs/proof-programme-v2
Jun 2, 20263m 19s
chore(license): PMPL → MPL-2.0 sweep (1 files) (#103)
failed:
Code Coverage#378:Commit3014a51pushedbyhyperpolymath
main
Jun 2, 20264m 27s
chore(license): PMPL → MPL-2.0 sweep (1 files)
failed:
Code Coverage#377:Pull request#103synchronizebyhyperpolymath
fix/pmpl-to-mpl-sweep
Jun 2, 20264m 4s
chore(license): PMPL → MPL-2.0 sweep (1 files)
failed:
Code Coverage#376:Pull request#103openedbyhyperpolymath
fix/pmpl-to-mpl-sweep
Jun 2, 20265m 3s

Navigation Menu

Code Coverage

898 workflow runs

release(v2.5.5): tag the 11-PR context-awareness cohort (#118)

feat(safe_path): port proven SafePath as pure-Rust + add traversal guard (#115)

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113)

release(v2.5.5): tag the 11-PR context-awareness cohort

docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME…

docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME comprehensive close-out

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l…

feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110)

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma

feat(suppression): v2.5.5 Phase 2 — analyzer wire-up

ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109)

ci(codeql): cron weekly→monthly (cut 3, standards#288)

feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test…

feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / TestMock)

feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus…

feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-push

feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa…

feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wasm/JS)

feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress…

feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppression

docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape …

docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape

chore(license): PMPL → MPL-2.0 sweep (1 files) (#103)

chore(license): PMPL → MPL-2.0 sweep (1 files)

chore(license): PMPL → MPL-2.0 sweep (1 files)

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for Code Coverage

898 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.