Skip to content

Actions: hyperpolymath/phronesis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,483 workflow runs
2,483 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
Sync local commits to main (#80) Governance #158: Commit 3808b40 pushed by hyperpolymath
1h 25m 55s main
main
1h 25m 55s
Sync local commits to main (#80) Scorecards supply-chain security #220: Commit 3808b40 pushed by hyperpolymath
Startup failure main
main
Startup failure
Sync local commits to main (#80) Secret Scanner #212: Commit 3808b40 pushed by hyperpolymath
1h 26m 7s main
main
1h 26m 7s
Sync local commits to main (#80) Mirror to Git Forges #155: Commit 3808b40 pushed by hyperpolymath
11s main
main
11s
Sync local commits to main (#80) CodeQL Security Analysis #209: Commit 3808b40 pushed by hyperpolymath
1h 25m 56s main
main
1h 25m 56s
Sync local commits to main (#80) Conformance #79: Commit 3808b40 pushed by hyperpolymath
1h 25m 42s main
main
1h 25m 42s
Sync local commits to main (#80) TLA+ Consensus #81: Commit 3808b40 pushed by hyperpolymath
1h 25m 3s main
main
1h 25m 3s
Sync local commits to main (#80) GitHub Pages #110: Commit 3808b40 pushed by hyperpolymath
1h 25m 39s main
main
1h 25m 39s
Sync local commits to main (#80) Hypatia Security Scan #214: Commit 3808b40 pushed by hyperpolymath
1h 25m 27s main
main
1h 25m 27s
Sync local commits to main (#80) Lean Proofs #72: Commit 3808b40 pushed by hyperpolymath
1h 26m 22s main
main
1h 26m 22s
Sync local commits to main (#80) .github/workflows/dogfood-gate.yml #194: Commit 3808b40 pushed by hyperpolymath
Failure main
main
Failure
Sync local commits to main CodeQL Security Analysis #208: Pull request #80 opened by hyperpolymath
1h 25m 21s sync-local-updates-1784832798
sync-local-updates-1784832798
1h 25m 21s
Sync local commits to main Secret Scanner #211: Pull request #80 opened by hyperpolymath
1h 25m 37s sync-local-updates-1784832798
sync-local-updates-1784832798
1h 25m 37s
Sync local commits to main Governance #157: Pull request #80 opened by hyperpolymath
1h 25m 11s sync-local-updates-1784832798
sync-local-updates-1784832798
1h 25m 11s
Sync local commits to main Hypatia Security Scan #213: Pull request #80 opened by hyperpolymath
1h 25m 52s sync-local-updates-1784832798
sync-local-updates-1784832798
1h 25m 52s
Sync local commits to main Conformance #78: Pull request #80 opened by hyperpolymath
1h 25m 43s sync-local-updates-1784832798
sync-local-updates-1784832798
1h 25m 43s
Sync local commits to main Dependabot Auto-Merge #84: Pull request #80 opened by hyperpolymath
1s sync-local-updates-1784832798
sync-local-updates-1784832798
1s
Sync local commits to main TLA+ Consensus #80: Pull request #80 opened by hyperpolymath
1h 24m 58s sync-local-updates-1784832798
sync-local-updates-1784832798
1h 24m 58s
Sync local commits to main Lean Proofs #71: Pull request #80 opened by hyperpolymath
1h 26m 26s sync-local-updates-1784832798
sync-local-updates-1784832798
1h 26m 26s
sweep4: add C-A-G-M files .github/workflows/dogfood-gate.yml #193: Commit 4f7e57e pushed by hyperpolymath
Failure sync-local-updates-1784832798
sync-local-updates-1784832798
Failure
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Scorecards supply-chain security #219: Commit df79dde pushed by hyperpolymath
1s main
main
1s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Mirror to Git Forges #154: Commit df79dde pushed by hyperpolymath
1s main
main
1s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Governance #156: Commit df79dde pushed by hyperpolymath
2h 52m 56s main
main
2h 52m 56s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Secret Scanner #210: Commit df79dde pushed by hyperpolymath
2h 52m 22s main
main
2h 52m 22s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Workflow Security Linter #117: Commit df79dde pushed by hyperpolymath
2h 52m 5s main
main
2h 52m 5s