Skip to content

Actions: hyperpolymath/proven

Actions

.github/workflows/e2e.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e.yml
357 workflow runs
357 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
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
[P1] Explicit postulate sweep (Fork A) (#189) .github/workflows/e2e.yml #346: Commit 6c80e0b pushed by hyperpolymath
32s main
main
32s
[P1] Explicit postulate sweep (Fork A) .github/workflows/e2e.yml #345: Pull request #189 opened by hyperpolymath
34s fix-158-bodyless-postulates
fix-158-bodyless-postulates
34s
fix(d,ci): D nothrow compile fix + Trustfile gate accepts CC-BY-SA-4.… .github/workflows/e2e.yml #344: Commit 2427525 pushed by hyperpolymath
35s main
main
35s
fix(d,ci): D nothrow compile fix + Trustfile gate accepts CC-BY-SA-4.0 docs .github/workflows/e2e.yml #343: Pull request #175 opened by hyperpolymath
19s claude/proven-d-trustfile-czncaj
claude/proven-d-trustfile-czncaj
19s
chore(licence): de-PMPL — correct proven to MPL-2.0 throughout (38 fi… .github/workflows/e2e.yml #342: Commit 309afbc pushed by hyperpolymath
1m 24s main
main
1m 24s
chore(licence): de-PMPL — correct proven to MPL-2.0 throughout (38 files) .github/workflows/e2e.yml #341: Pull request #173 opened by hyperpolymath
4m 21s claude/proven-depmpl-czncaj
claude/proven-depmpl-czncaj
4m 21s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … .github/workflows/e2e.yml #340: Commit c454acb pushed by hyperpolymath
16h 7m 40s main
main
16h 7m 40s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) .github/workflows/e2e.yml #339: Pull request #171 opened by hyperpolymath
14h 49m 5s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
14h 49m 5s
security: triage Track C panic-attack findings (#68) — fix stubs.c, c… .github/workflows/e2e.yml #338: Commit 9a5a016 pushed by hyperpolymath
52m 17s main
main
52m 17s
security: triage Track C panic-attack findings (#68) — fix stubs.c, classify the rest .github/workflows/e2e.yml #337: Pull request #162 opened by hyperpolymath
58m 27s security/issue-68-track-c-triage
security/issue-68-track-c-triage
58m 27s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… .github/workflows/e2e.yml #336: Commit 9ddee66 pushed by hyperpolymath
4m 10s main
main
4m 10s
feat(ffi): add missing Zig FFI exports — issue #88 (#160) .github/workflows/e2e.yml #335: Commit bba9533 pushed by hyperpolymath
Startup failure main
main
Startup failure
.github/workflows/e2e.yml .github/workflows/e2e.yml #334: synchronize by hyperpolymath
Startup failure feat/crystal-binding-standup
feat/crystal-binding-standup
Startup failure
.github/workflows/e2e.yml .github/workflows/e2e.yml #333: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure