Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
246 workflow runs
246 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the a… Scorecards supply-chain security #246: Commit 5f27136 pushed by hyperpolymath
1m 26s main
main
1m 26s
chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the actions group Scorecards supply-chain security #245: Pull request #185 opened by dependabot Bot
1m 2s dependabot/github_actions/actions-a63e66b24a
dependabot/github_actions/actions-a63e66b24a
1m 2s
docs(citation): align CITATIONS.adoc author form with CITATION.cff (#… Scorecards supply-chain security #244: Commit 27d879f pushed by hyperpolymath
1m 36s main
main
1m 36s
docs(citation): align CITATIONS.adoc author form with CITATION.cff Scorecards supply-chain security #243: Pull request #184 synchronize by hyperpolymath
1m 40s docs/citation-author-181
docs/citation-author-181
1m 40s
chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale … Scorecards supply-chain security #242: Commit dba634a pushed by hyperpolymath
1m 30s main
main
1m 30s
chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale pointers Scorecards supply-chain security #241: Pull request #183 synchronize by hyperpolymath
1m 8s chore/issue-sweep-2026-10-01
chore/issue-sweep-2026-10-01
1m 8s
docs(citation): align CITATIONS.adoc author form with CITATION.cff Scorecards supply-chain security #240: Pull request #184 opened by hyperpolymath
1m 14s docs/citation-author-181
docs/citation-author-181
1m 14s
chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale pointers Scorecards supply-chain security #239: Pull request #183 opened by hyperpolymath
59s chore/issue-sweep-2026-10-01
chore/issue-sweep-2026-10-01
59s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3… Scorecards supply-chain security #238: Commit 8007381 pushed by hyperpolymath
1m 26s main
main
1m 26s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Scorecards supply-chain security #237: Pull request #180 synchronize by hyperpolymath
1m 12s chore/citation-orcid
chore/citation-orcid
1m 12s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Scorecards supply-chain security #236: Pull request #180 synchronize by hyperpolymath
1m 40s chore/citation-orcid
chore/citation-orcid
1m 40s
fix(proofs): census reads logical roots from _CoqProject; restore Fil… Scorecards supply-chain security #235: Commit f486c29 pushed by hyperpolymath
1m 21s main
main
1m 21s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 Scorecards supply-chain security #234: Pull request #177 synchronize by hyperpolymath
56s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
56s
docs: add Signed commits section to CONTRIBUTING (#179) Scorecards supply-chain security #233: Commit 9b9e219 pushed by hyperpolymath
1m 13s main
main
1m 13s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 Scorecards supply-chain security #232: Pull request #177 synchronize by hyperpolymath
1m 11s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
1m 11s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Scorecards supply-chain security #231: Pull request #180 synchronize by hyperpolymath
5m 8s chore/citation-orcid
chore/citation-orcid
5m 8s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Scorecards supply-chain security #230: Pull request #180 opened by hyperpolymath
1m 2s chore/citation-orcid
chore/citation-orcid
1m 2s
docs: add Signed commits section to CONTRIBUTING Scorecards supply-chain security #229: Pull request #179 synchronize by hyperpolymath
1m 3s docs/signing-policy-d218
docs/signing-policy-d218
1m 3s
docs: add Signed commits section to CONTRIBUTING Scorecards supply-chain security #228: Pull request #179 synchronize by hyperpolymath
58s docs/signing-policy-d218
docs/signing-policy-d218
58s
docs: add Signed commits section to CONTRIBUTING Scorecards supply-chain security #227: Pull request #179 opened by hyperpolymath
1m 4s docs/signing-policy-d218
docs/signing-policy-d218
1m 4s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 Scorecards supply-chain security #226: Pull request #177 synchronize by coderabbitai Bot
2m 21s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
2m 21s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 Scorecards supply-chain security #225: Pull request #177 synchronize by coderabbitai Bot
1m 22s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
1m 22s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 Scorecards supply-chain security #224: Pull request #177 synchronize by hyperpolymath
1m 35s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
1m 35s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 Scorecards supply-chain security #223: Pull request #177 synchronize by hyperpolymath
32s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
32s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 Scorecards supply-chain security #222: Pull request #177 synchronize by hyperpolymath
1m 5s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
1m 5s