Skip to content

Actions: hyperpolymath/affinescript

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
1,086 workflow runs
1,086 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(ci): SPDX headers on line 1 and Actions lockfile minted (#717) Governance #1086: Commit d728da4 pushed by hyperpolymath
7m 3s main
main
7m 3s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Governance #1085: Pull request #717 synchronize by hyperpolymath
6m 52s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
6m 52s
chore(ci): make Scorecard periodic, not per-push (#716) Governance #1084: Commit a0a1714 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(ci): SPDX headers on line 1 and Actions lockfile minted Governance #1083: Pull request #717 synchronize by hyperpolymath
11s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
11s
chore(ci): SPDX headers on line 1 and Actions lockfile minted Governance #1082: Pull request #717 opened by hyperpolymath
20s chore/ci-hygiene-lockfile-spdx
chore/ci-hygiene-lockfile-spdx
20s
Governance Governance #1081: opened by hyperpolymath
Startup failure chore/scorecard-periodic
chore/scorecard-periodic
Startup failure
Governance Governance #1080: 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 #1079: Commit 5070534 pushed by hyperpolymath
27s main
main
27s
ci: bump the github-actions group across 1 directory with 4 updates Governance #1078: Pull request #714 synchronize by hyperpolymath
20s dependabot/github_actions/github-actions-46a5cbe68c
dependabot/github_actions/github-actions-46a5cbe68c
20s
Make bisect_ppx actually instrument the library — coverage was measur… Governance #1077: Commit 8f1b06a pushed by hyperpolymath
12s main
main
12s
Make bisect_ppx actually instrument the library — coverage was measuring nothing Governance #1076: Pull request #713 synchronize by hyperpolymath
15s feat/test-bench-coverage
feat/test-bench-coverage
15s
ci: bump the github-actions group across 1 directory with 4 updates Governance #1075: Pull request #714 opened by dependabot Bot
1m 4s dependabot/github_actions/github-actions-46a5cbe68c
dependabot/github_actions/github-actions-46a5cbe68c
1m 4s
Make bisect_ppx actually instrument the library — coverage was measuring nothing Governance #1074: Pull request #713 opened by hyperpolymath
3m 29s feat/test-bench-coverage
feat/test-bench-coverage
3m 29s
docs: record the Coq proof gate and the 2026-07-29 rescue session (#712) Governance #1073: Commit 707fd5f pushed by hyperpolymath
11m 0s main
main
11m 0s
docs: record the Coq proof gate and the 2026-07-29 rescue session Governance #1072: Pull request #712 synchronize by hyperpolymath
12m 2s docs/state-2026-07-29
docs/state-2026-07-29
12m 2s
fix(ci): repair the Coq gate on main — coqc not found (#711) Governance #1071: Commit 7f6cb79 pushed by hyperpolymath
6m 31s main
main
6m 31s
docs: record the Coq proof gate and the 2026-07-29 rescue session Governance #1070: Pull request #712 opened by hyperpolymath
20s docs/state-2026-07-29
docs/state-2026-07-29
20s
fix(ci): repair the Coq gate on main — coqc not found Governance #1069: Pull request #711 opened by hyperpolymath
17s fix/coq-gate-container
fix/coq-gate-container
17s
ci: bump dawidd6/action-send-mail from 12335b969ae3fb71bee5f2c6b829744261aec34c to 2e600f3776677e493bf0da7aaec39a586d19a5ed in the github-actions group Governance #1068: Pull request #710 opened by dependabot Bot
11s dependabot/github_actions/github-actions-21c3c7556b
dependabot/github_actions/github-actions-21c3c7556b
11s
ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) Governance #1067: Commit ed4e223 pushed by hyperpolymath
10s main
main
10s
ci: wire the formal/ Coq proof gate into CI (Refs #513) Governance #1066: Pull request #709 synchronize by hyperpolymath
19s ci/coq-proof-gate
ci/coq-proof-gate
19s
ci: wire the formal/ Coq proof gate into CI (Refs #513) Governance #1065: Pull request #709 opened by hyperpolymath
11s ci/coq-proof-gate
ci/coq-proof-gate
11s
ci: bump the github-actions group with 3 updates (#707) Governance #1064: Commit 3e34d7f pushed by hyperpolymath
9s main
main
9s
ci: bump the github-actions group with 3 updates Governance #1063: Pull request #707 synchronize by hyperpolymath
9s dependabot/github_actions/github-actions-6947902d1c
dependabot/github_actions/github-actions-6947902d1c
9s
rescue: INT-02 / INT-09 / INT-11 — recover stranded feature work from… Governance #1062: Commit 9a27760 pushed by hyperpolymath
16s main
main
16s