Skip to content
OSSF Scorecard

feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… #236

Sign in to view logs

feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct…

feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… #236

Triggered via push July 29, 2026 05:49
@hyperpolymathhyperpolymath
pushed cf56397
main
Status Success
Total duration 18m 44s
Artifacts 1

scorecard.yml

on: push
scorecard  /  Run Scorecard
21s
scorecard / Run Scorecard
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
scorecard-results
2.35 KB
sha256:be64e13c5e76cb36107c4e1bf1b1f9cdb178fb6ad62f6b8e14472bdb79f9eccb