Skip to content

Actions: hyperpolymath/echo-types

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… CodeQL Security Analysis #324: Pull request #325 opened by hyperpolymath
51s preserve/bit-narrowing-agda-2026-09-11
preserve/bit-narrowing-agda-2026-09-11
51s
proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… Agda #946: Pull request #325 opened by hyperpolymath
12m 19s preserve/bit-narrowing-agda-2026-09-11
preserve/bit-narrowing-agda-2026-09-11
12m 19s
proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… Hypatia Security Scan #639: Pull request #325 opened by hyperpolymath
37s preserve/bit-narrowing-agda-2026-09-11
preserve/bit-narrowing-agda-2026-09-11
37s
Actions allow-list live count (92) drifts from the standards canon (93): tailscale/github-action@* missing Label Triage #5: Issue #324 opened by hyperpolymath
10s
10s
main is red: Governance Check documentation (no CONTRIBUTING) and gitleaks generic-api-key at .machine_readable/6a2/STATE.a2ml:261 (retire the file) Label Triage #4: Issue #323 opened by hyperpolymath
13s
13s
agda.yml installs an unpinned apt-get install -y agda at L51 and L176 — the prover under the proofs changes without a commit Label Triage #3: Issue #322 opened by hyperpolymath
9s
9s
experimental/echo-additive (7 modules incl. the Grade dioid) is in no CI lane; 'typechecks standalone' is unmeasured on main Label Triage #2: Issue #321 opened by hyperpolymath
11s
11s
Preserved: 4 bit-narrowing Agda modules (36d04b5) on preserve/bit-narrowing-agda-2026-09-11, in no CI lane Label Triage #1: Issue #320 opened by hyperpolymath
10s
10s
fix(ci): reconcile actions.lock so the lockfile validates (#319) Secret Scanner #307: Commit 9c4b72b pushed by hyperpolymath
4h 58m 44s main
main
4h 58m 44s
fix(ci): reconcile actions.lock so the lockfile validates (#319) Governance #605: Commit 9c4b72b pushed by hyperpolymath
8h 3m 15s main
main
8h 3m 15s
fix(ci): reconcile actions.lock so the lockfile validates (#319) Mirror to Git Forges #416: Commit 9c4b72b pushed by hyperpolymath
5h 0m 46s main
main
5h 0m 46s
fix(ci): reconcile actions.lock so the lockfile validates (#319) CodeQL Security Analysis #323: Commit 9c4b72b pushed by hyperpolymath
4h 59m 57s main
main
4h 59m 57s
fix(ci): reconcile actions.lock so the lockfile validates (#319) Agda #945: Commit 9c4b72b pushed by hyperpolymath
5h 13m 54s main
main
5h 13m 54s
fix(ci): reconcile actions.lock so the lockfile validates (#319) Hypatia Security Scan #638: Commit 9c4b72b pushed by hyperpolymath
4h 59m 56s main
main
4h 59m 56s
fix(ci): reconcile actions.lock so the lockfile validates Governance #604: Pull request #319 opened by hyperpolymath
8h 3m 13s fix/lockfile-reconcile
fix/lockfile-reconcile
8h 3m 13s
fix(ci): reconcile actions.lock so the lockfile validates Secret Scanner #306: Pull request #319 opened by hyperpolymath
4h 58m 15s fix/lockfile-reconcile
fix/lockfile-reconcile
4h 58m 15s
fix(ci): reconcile actions.lock so the lockfile validates Agda #944: Pull request #319 opened by hyperpolymath
5h 9m 10s fix/lockfile-reconcile
fix/lockfile-reconcile
5h 9m 10s
fix(ci): reconcile actions.lock so the lockfile validates Hypatia Security Scan #637: Pull request #319 opened by hyperpolymath
4h 59m 29s fix/lockfile-reconcile
fix/lockfile-reconcile
4h 59m 29s
fix(ci): reconcile actions.lock so the lockfile validates CodeQL Security Analysis #322: Pull request #319 opened by hyperpolymath
4h 58m 1s fix/lockfile-reconcile
fix/lockfile-reconcile
4h 58m 1s
CodeQL Security Analysis CodeQL Security Analysis #321: Scheduled
1m 15s main
main
1m 15s
Scorecards supply-chain security Scorecards supply-chain security #418: Scheduled
56s main
main
56s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … Governance #603: Commit 5f8f65c pushed by hyperpolymath
40m 48s main
main
40m 48s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … Mirror to Git Forges #415: Commit 5f8f65c pushed by hyperpolymath
5m 17s main
main
5m 17s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … Secret Scanner #305: Commit 5f8f65c pushed by hyperpolymath
5m 13s main
main
5m 13s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … Agda #943: Commit 5f8f65c pushed by hyperpolymath
19m 47s main
main
19m 47s