Skip to content

Actions: inaciovasquez2020/terminal-rigidity-witness-erb

Actions

.github/workflows/ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix CI: add missing certificate file .github/workflows/ci.yml #30: Commit 965b8c7 pushed by inaciovasquez2020
Failure cyclone-sync
cyclone-sync
Failure
Propagate Cyclone certificate, replace axioms, add CI verification .github/workflows/ci.yml #29: Commit 1620389 pushed by inaciovasquez2020
Failure main
main
Failure
Propagate Cyclone certificate, replace axioms, add CI verification .github/workflows/ci.yml #28: Commit 1620389 pushed by inaciovasquez2020
Failure main
main
Failure
Propagate Cyclone certificate, replace axioms, add CI verification .github/workflows/ci.yml #27: Commit 1620389 pushed by inaciovasquez2020
Failure main
main
Failure
.github/workflows/ci.yml .github/workflows/ci.yml #26: by inaciovasquez2020
Failure /inaciovasquez2020/terminal-rigidity-witness-erb
/inaciovasquez2020/terminal-rigidity-witness-erb
Failure
Merge pull request #4 from inaciovasquez2020/feature/witness-certificate .github/workflows/ci.yml #25: Commit 0e61124 pushed by inaciovasquez2020
Failure main
main
Failure
Add certificate generation algorithm, transform library, and tests .github/workflows/ci.yml #24: Commit 0f3762d pushed by inaciovasquez2020
Failure feature/witness-certificate
feature/witness-certificate
Failure
Add certificate serialization, CLI verification tool, and IO tests .github/workflows/ci.yml #23: Commit 9375d16 pushed by inaciovasquez2020
Failure feature/witness-certificate
feature/witness-certificate
Failure
Add terminal rigidity certificate structure and validation tests .github/workflows/ci.yml #22: Commit 00db5bb pushed by inaciovasquez2020
Failure feature/witness-certificate
feature/witness-certificate
Failure
Merge pull request #3 from inaciovasquez2020/feature/rigidity-analysis .github/workflows/ci.yml #21: Commit 6a52b67 pushed by inaciovasquez2020
Failure main
main
Failure
Add escape-search analysis and terminal rigidity verification utilities .github/workflows/ci.yml #20: Commit 71c33d6 pushed by inaciovasquez2020
Failure feature/rigidity-analysis
feature/rigidity-analysis
Failure
Merge pull request #2 from inaciovasquez2020/chore/buildstamp-20260223 .github/workflows/ci.yml #19: Commit 494edc1 pushed by inaciovasquez2020
Failure main
main
Failure
Merge pull request #1 from inaciovasquez2020/ci/manual-pdf-verify .github/workflows/ci.yml #18: Commit 50e7b6a pushed by inaciovasquez2020
Failure main
main
Failure
chore: build stamp .github/workflows/ci.yml #17: Commit 4530b67 pushed by inaciovasquez2020
Failure chore/buildstamp-20260223
chore/buildstamp-20260223
Failure
Merge pull request #1 from inaciovasquez2020/ci/manual-pdf-verify .github/workflows/ci.yml #16: Commit 50e7b6a pushed by inaciovasquez2020
Failure main
main
Failure
Merge pull request #1 from inaciovasquez2020/ci/manual-pdf-verify .github/workflows/ci.yml #15: Commit 50e7b6a pushed by inaciovasquez2020
Failure main
main
Failure
ci: make pdf-verify manual-only (experimental) .github/workflows/ci.yml #14: Commit b0ca9ee pushed by inaciovasquez2020
Failure ci/manual-pdf-verify
ci/manual-pdf-verify
Failure
ci: disable pdf-verify (PDF artifacts forbidden) .github/workflows/ci.yml #13: Commit 18aa8a3 pushed by inaciovasquez2020
Failure main
main
Failure
ci: force sanity checks to run from repo root .github/workflows/ci.yml #12: Commit a233fb9 pushed by inaciovasquez2020
Failure main
main
Failure
ci: remove obsolete pdf invariant (tex-only canonical source) .github/workflows/ci.yml #11: Commit e7d42f8 pushed by inaciovasquez2020
6s main
main
6s
ci: enforce tex-only sanity invariant .github/workflows/ci.yml #10: Commit 2c7970b pushed by inaciovasquez2020
8s main
main
8s
docs: satisfy sanity file contract .github/workflows/ci.yml #9: Commit 9dd4edd pushed by inaciovasquez2020
7s main
main
7s
chore: ignore and remove LaTeX PDF artifacts .github/workflows/ci.yml #8: Commit 8eaa68d pushed by inaciovasquez2020
9s main
main
9s
chore: ignore LaTeX build artifacts .github/workflows/ci.yml #7: Commit 8d33178 pushed by inaciovasquez2020
8s main
main
8s
ci: install full TeX packages required for ERB build .github/workflows/ci.yml #6: Commit 00f08ca pushed by inaciovasquez2020
6s main
main
6s