Skip to content

Actions: hyperpolymath/proven

Actions

.github/workflows/e2e.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e.yml
371 workflow runs
371 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
fix(ci): the invisible-character gate never matched anything (#207) .github/workflows/e2e.yml #371: Commit e615ba0 pushed by hyperpolymath
Failure main
main
Failure
feat(labels): estate label tooling + auto-triage for new issues (#213) .github/workflows/e2e.yml #370: Commit c31fc6f pushed by hyperpolymath
Failure main
main
Failure
feat(labels): estate label tooling + auto-triage for new issues .github/workflows/e2e.yml #369: Commit ce3bdcd pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
feat(labels): estate label tooling + auto-triage for new issues .github/workflows/e2e.yml #368: Commit 11e2b8d pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
docs: correct the postulate count from 46 to 42 (declaration position… .github/workflows/e2e.yml #367: Commit 89d89ee pushed by hyperpolymath
Failure fix/idris2-build-blockers
fix/idris2-build-blockers
Failure
docs: add Idris2 build work package for handover .github/workflows/e2e.yml #366: Commit 9c2d073 pushed by hyperpolymath
Failure fix/idris2-build-blockers
fix/idris2-build-blockers
Failure
fix(ci): the invisible-character gate never matched anything .github/workflows/e2e.yml #365: Commit c515788 pushed by hyperpolymath
Failure fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
Failure
fix(idris2): cure seven build blockers; drive frontier 165 -> 210/305 .github/workflows/e2e.yml #364: Commit 5adfd0d pushed by hyperpolymath
Failure fix/idris2-build-blockers
fix/idris2-build-blockers
Failure
fix(idris2): cure seven build blockers; drive frontier 165 -> 210/305 .github/workflows/e2e.yml #363: Commit 2ce64f0 pushed by hyperpolymath
Failure fix/idris2-totality-and-elaboration-cures
fix/idris2-totality-and-elaboration-cures
Failure
feat(labels): estate label tooling + auto-triage for new issues (#205) .github/workflows/e2e.yml #362: Commit c19fcba pushed by hyperpolymath
Failure main
main
Failure
feat(labels): estate label tooling + auto-triage for new issues .github/workflows/e2e.yml #361: Commit c2b2ff6 pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
feat(labels): estate label tooling + auto-triage for new issues .github/workflows/e2e.yml #360: Commit 8678d4f pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
feat(labels): estate label tooling + auto-triage for new issues .github/workflows/e2e.yml #359: Commit 9228f6d pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
test .github/workflows/e2e.yml #358: Commit 3b8b6bc pushed by hyperpolymath
Failure automated/label-tooling
automated/label-tooling
Failure
refactor: migrate Markdown to AsciiDoc (#201) .github/workflows/e2e.yml #357: Commit 3932a8c pushed by hyperpolymath
Failure main
main
Failure
refactor: migrate repository documentation from Markdown to AsciiDoc .github/workflows/e2e.yml #356: Commit 7226e40 pushed by hyperpolymath
Failure refactor/md-to-adoc
refactor/md-to-adoc
Failure
chore(nix->guix): delete Nix estate-wide (#138) (#200) .github/workflows/e2e.yml #355: Commit 60ac138 pushed by hyperpolymath
Failure main
main
Failure
chore(nix->guix): delete Nix estate-wide (#138) .github/workflows/e2e.yml #354: Commit 6b0859f pushed by hyperpolymath
Failure chore/nix-sweep-138
chore/nix-sweep-138
Failure
fix(ci): add required permissions for reusable workflows (Bug B) .github/workflows/e2e.yml #353: Commit 1f51bf5 pushed by hyperpolymath
Failure fix/ci-426-batch2
fix/ci-426-batch2
Failure
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3… .github/workflows/e2e.yml #352: Commit 5d3933f pushed by hyperpolymath
Failure main
main
Failure
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3… .github/workflows/e2e.yml #351: Commit 7d6071d pushed by hyperpolymath
Failure fix/ci-426-batch13
fix/ci-426-batch13
Failure
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3… .github/workflows/e2e.yml #350: Commit 7bcedb6 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3… .github/workflows/e2e.yml #349: Commit ed59101 pushed by hyperpolymath
Failure fix/ci-426-batch11
fix/ci-426-batch11
Failure
fix(ci): remove erroneous squisher-corpus guix.scm placeholder (#197) .github/workflows/e2e.yml #348: Commit 0f5c394 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): remove erroneous squisher-corpus guix.scm placeholder .github/workflows/e2e.yml #347: Commit b819caf pushed by hyperpolymath
-1s fix/ci-426-squisher-cleanup
fix/ci-426-squisher-cleanup
-1s