Skip to content

Actions: hyperpolymath/affinescript

Actions

Governance Baseline

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance-baseline.yml
146 workflow runs
146 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
Governance Baseline Governance Baseline #146: opened by dependabot Bot
Startup failure dependabot/github_actions/github-actions-7c70cea34f
dependabot/github_actions/github-actions-7c70cea34f
Startup failure
chore(ci): SPDX headers on line 1 and Actions lockfile minted (#717) Governance Baseline #145: Commit d728da4 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Baseline Governance Baseline #144: synchronize by hyperpolymath
Startup failure chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
Startup failure
chore(ci): make Scorecard periodic, not per-push (#716) Governance Baseline #143: Commit a0a1714 pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Baseline Governance Baseline #142: synchronize by hyperpolymath
Startup failure chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
Startup failure
Governance Baseline Governance Baseline #141: opened by hyperpolymath
Startup failure chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
Startup failure
Governance Baseline Governance Baseline #140: opened by hyperpolymath
Startup failure chore/scorecard-periodic
chore/scorecard-periodic
Startup failure
Governance Baseline Governance Baseline #139: opened by hyperpolymath
Startup failure chore/estate-topup
chore/estate-topup
Startup failure
ci: bump the github-actions group across 1 directory with 4 updates (… Governance Baseline #138: Commit 5070534 pushed by hyperpolymath
10s main
main
10s
ci: bump the github-actions group across 1 directory with 4 updates Governance Baseline #137: Pull request #714 synchronize by hyperpolymath
11s dependabot/github_actions/github-actions-46a5cbe68c
dependabot/github_actions/github-actions-46a5cbe68c
11s
Make bisect_ppx actually instrument the library — coverage was measur… Governance Baseline #136: Commit 8f1b06a pushed by hyperpolymath
17s main
main
17s
Make bisect_ppx actually instrument the library — coverage was measuring nothing Governance Baseline #135: Pull request #713 synchronize by hyperpolymath
11s feat/test-bench-coverage
feat/test-bench-coverage
11s
ci: bump the github-actions group across 1 directory with 4 updates Governance Baseline #134: Pull request #714 opened by dependabot Bot
1m 30s dependabot/github_actions/github-actions-46a5cbe68c
dependabot/github_actions/github-actions-46a5cbe68c
1m 30s
Make bisect_ppx actually instrument the library — coverage was measuring nothing Governance Baseline #133: Pull request #713 opened by hyperpolymath
3m 23s feat/test-bench-coverage
feat/test-bench-coverage
3m 23s
docs: record the Coq proof gate and the 2026-07-29 rescue session (#712) Governance Baseline #132: Commit 707fd5f pushed by hyperpolymath
11m 14s main
main
11m 14s
docs: record the Coq proof gate and the 2026-07-29 rescue session Governance Baseline #131: Pull request #712 synchronize by hyperpolymath
11m 34s docs/state-2026-07-29
docs/state-2026-07-29
11m 34s
fix(ci): repair the Coq gate on main — coqc not found (#711) Governance Baseline #130: Commit 7f6cb79 pushed by hyperpolymath
6m 36s main
main
6m 36s
docs: record the Coq proof gate and the 2026-07-29 rescue session Governance Baseline #129: Pull request #712 opened by hyperpolymath
9s docs/state-2026-07-29
docs/state-2026-07-29
9s
fix(ci): repair the Coq gate on main — coqc not found Governance Baseline #128: Pull request #711 opened by hyperpolymath
12s fix/coq-gate-container
fix/coq-gate-container
12s
ci: bump dawidd6/action-send-mail from 12335b969ae3fb71bee5f2c6b829744261aec34c to 2e600f3776677e493bf0da7aaec39a586d19a5ed in the github-actions group Governance Baseline #127: Pull request #710 opened by dependabot Bot
12s dependabot/github_actions/github-actions-21c3c7556b
dependabot/github_actions/github-actions-21c3c7556b
12s
ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) Governance Baseline #126: Commit ed4e223 pushed by hyperpolymath
33s main
main
33s
ci: wire the formal/ Coq proof gate into CI (Refs #513) Governance Baseline #125: Pull request #709 synchronize by hyperpolymath
9s ci/coq-proof-gate
ci/coq-proof-gate
9s
ci: wire the formal/ Coq proof gate into CI (Refs #513) Governance Baseline #124: Pull request #709 opened by hyperpolymath
10s ci/coq-proof-gate
ci/coq-proof-gate
10s
ci: bump the github-actions group with 3 updates (#707) Governance Baseline #123: Commit 3e34d7f pushed by hyperpolymath
18s main
main
18s
ci: bump the github-actions group with 3 updates Governance Baseline #122: Pull request #707 synchronize by hyperpolymath
15s dependabot/github_actions/github-actions-6947902d1c
dependabot/github_actions/github-actions-6947902d1c
15s