Skip to content

Actions: hyperpolymath/boj-server

Actions

.github/workflows/mirror.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
588 workflow runs
588 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
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#241) .github/workflows/mirror.yml #588: Commit ecbeaac pushed by hyperpolymath
Failure main
main
Failure
fix(abi): remove duplicate allTake in Boj.SafetyLemmas (core proofs g… .github/workflows/mirror.yml #587: Commit 73adbcb pushed by hyperpolymath
Failure main
main
Failure
fix(abi): remove duplicate allTake definition in Boj.SafetyLemmas .github/workflows/mirror.yml #586: Commit ef959f0 pushed by hyperpolymath
Failure claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
Failure
License: comprehensive PMPL residue scrub (#236) .github/workflows/mirror.yml #585: Commit f953c45 pushed by hyperpolymath
Failure main
main
Failure
chore(license): comprehensive PMPL residue scrub (owner follow-up) .github/workflows/mirror.yml #584: Commit 76df933 pushed by hyperpolymath
Failure claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
Failure
License follow-up: agent-meta → MPL-2.0; scrub PMPL philosophy (#235) .github/workflows/mirror.yml #583: Commit 5c679b0 pushed by hyperpolymath
Failure main
main
Failure
docs(license): exclude agent-meta from CC-BY-SA; scrub PMPL philosoph… .github/workflows/mirror.yml #582: Commit 5833f58 pushed by hyperpolymath
Failure claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
Failure
License normalisation: docs → CC-BY-SA-4.0; remove residual PMPL (#234) .github/workflows/mirror.yml #581: Commit c4d8ce5 pushed by hyperpolymath
Failure main
main
Failure
chore(license): remove residual PMPL artifacts (owner-directed) .github/workflows/mirror.yml #580: Commit 92b60ff pushed by hyperpolymath
Failure claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
Failure
chore(license): remove residual PMPL artifacts (owner-directed) .github/workflows/mirror.yml #579: Commit e2bfd68 pushed by hyperpolymath
Failure claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
Failure
chore(deps): bump nixpkgs from 3e41b24 to b3c092d (#232) .github/workflows/mirror.yml #578: Commit 8a1e733 pushed by hyperpolymath
Failure main
main
Failure
boj-server.net website: install configurator + cartridge catalogue (#… .github/workflows/mirror.yml #577: Commit bec14cc pushed by hyperpolymath
Failure main
main
Failure
site: resolve Hypatia code_safety alerts in app.js .github/workflows/mirror.yml #576: Commit 1c53c20 pushed by hyperpolymath
Failure claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
Failure
Add boj-server.net website: install configurator + cartridge catalogue .github/workflows/mirror.yml #575: Commit 01cf5f6 pushed by hyperpolymath
Failure claude/awesome-davinci-8afqgy
claude/awesome-davinci-8afqgy
Failure
chore(deps): bump nixpkgs from 3e41b24 to b3c092d .github/workflows/mirror.yml #574: Commit d0ebb88 pushed by dependabot Bot
Failure dependabot/nix/nixpkgs-b3c092d
dependabot/nix/nixpkgs-b3c092d
Failure
chore: retire local issue/discussion templates -> inherit org .github… .github/workflows/mirror.yml #573: Commit a7238d5 pushed by hyperpolymath
Failure main
main
Failure
docs(integration): Phase E §1.4 prereq — BoJ-side observability spec … .github/workflows/mirror.yml #572: Commit 7e134bc pushed by hyperpolymath
Failure main
main
Failure
docs(integration): Phase E §1.4 prereq — BoJ-side observability spec … .github/workflows/mirror.yml #571: Commit 378175d pushed by hyperpolymath
Failure feat-phase-e-boj-observability-spec
feat-phase-e-boj-observability-spec
Failure
feat(hcg): add spec-coverage check script (standards#100 §1.5) (#230) .github/workflows/mirror.yml #570: Commit 567f244 pushed by hyperpolymath
Failure main
main
Failure
feat(hcg): add spec-coverage check script (standards#100 §1.5) .github/workflows/mirror.yml #569: Commit 62a7871 pushed by hyperpolymath
Failure feat/hcg-spec-coverage-check
feat/hcg-spec-coverage-check
Failure
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… .github/workflows/mirror.yml #568: Commit 595f3b1 pushed by hyperpolymath
-1s feat/hcg-smoke-unknown-path-canary
feat/hcg-smoke-unknown-path-canary
-1s
ci(hcg): wire surface-drift check into Actions (standards#100 §1.5) (… .github/workflows/mirror.yml #567: Commit 37f6635 pushed by hyperpolymath
Failure main
main
Failure
ci(hcg): wire surface-drift check into Actions (standards#100 §1.5) .github/workflows/mirror.yml #566: Commit 2816c52 pushed by hyperpolymath
Failure claude/phase-e-surface-drift-ci
claude/phase-e-surface-drift-ci
Failure
feat(hcg): add surface-drift check script (standards#100 §1.5) (#228) .github/workflows/mirror.yml #565: Commit 64a70c5 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into claude/phase-e-surface-drift-check .github/workflows/mirror.yml #564: Commit 54316c6 pushed by hyperpolymath
Failure claude/phase-e-surface-drift-check
claude/phase-e-surface-drift-check
Failure