Skip to content

Actions: hyperpolymath/halideiser

Actions

OSSF Scorecard

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
194 workflow runs
194 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
ABI Layer 3: schedule equivalence is an equivalence relation (reflexi… OSSF Scorecard #144: Commit 8544be8 pushed by hyperpolymath
1s main
main
1s
feat(abi): prove schedule equivalence for loop split (Layer 2) (#36) OSSF Scorecard #143: Commit 7e3f5ee pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) OSSF Scorecard #142: Commit e190e0f pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #141: Scheduled
Startup failure main
main
Startup failure
P1: fix Zig FFI to compile under Zig 0.14.0 (#34) OSSF Scorecard #140: Commit 7aa69f9 pushed by hyperpolymath
1s main
main
1s
Auto-install pinned Zig toolchain in setup + devcontainer (#33) OSSF Scorecard #139: Commit 204189d pushed by hyperpolymath
1s main
main
1s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… OSSF Scorecard #138: Commit 695cc51 pushed by hyperpolymath
1s main
main
1s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) OSSF Scorecard #137: Commit 113125a pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #136: Scheduled
Startup failure main
main
Startup failure
docs(readme): convert README.adoc -> Markdown README.md (#30) OSSF Scorecard #135: Commit cca34a9 pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #134: Scheduled
1s main
main
1s
chore(clade): backfill [status] lifecycle block (default active) (#28) OSSF Scorecard #133: Commit aa4f223 pushed by hyperpolymath
1s main
main
1s
chore(ci): add dormant push-email notification workflow (#29) OSSF Scorecard #132: Commit f02ffed pushed by hyperpolymath
1s main
main
1s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#27) OSSF Scorecard #131: Commit 96b7244 pushed by hyperpolymath
1s main
main
1s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#26) OSSF Scorecard #130: Commit 5303035 pushed by hyperpolymath
2s main
main
2s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#25) OSSF Scorecard #129: Commit 67e1070 pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #128: Scheduled
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #127: Scheduled
Startup failure main
main
Startup failure
chore: retire local issue/discussion templates -> inherit org .github… OSSF Scorecard #126: Commit c7b6b2e pushed by hyperpolymath
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #125: Scheduled
1s main
main
1s
OSSF Scorecard OSSF Scorecard #124: Scheduled
1s main
main
1s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… OSSF Scorecard #123: Commit 3fe5687 pushed by hyperpolymath
Startup failure main
main
Startup failure
Base camp: RSR Mustfile + green CI (#24) OSSF Scorecard #122: Commit 188bc27 pushed by hyperpolymath
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #121: Scheduled
1s main
main
1s
OSSF Scorecard OSSF Scorecard #120: Scheduled
1s main
main
1s