Skip to content

Actions: hyperpolymath/proven

Actions

Chapel CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
chapel-ci.yml
38 workflow runs
38 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
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Chapel CI #38: Commit c454acb pushed by hyperpolymath
6m 10s main
main
6m 10s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Chapel CI #37: Pull request #171 opened by hyperpolymath
7m 43s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
7m 43s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Chapel CI #36: Commit 9ddee66 pushed by hyperpolymath
3m 3s main
main
3m 3s
feat(ffi): add missing Zig FFI exports — issue #88 (#160) Chapel CI #35: Commit bba9533 pushed by hyperpolymath
Startup failure main
main
Startup failure
Chapel CI Chapel CI #34: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure
Chapel CI Chapel CI #33: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure
Chapel CI Chapel CI #32: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure
Chapel CI Chapel CI #31: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure
feat(ci): opt into Node.js 24 for all workflows Chapel CI #30: Commit c0bbb19 pushed by hyperpolymath
Startup failure main
main
Startup failure
Chapel CI Chapel CI #29: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure
Chapel CI Chapel CI #28: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure
Chapel CI Chapel CI #27: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure
Chapel CI Chapel CI #26: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure
Chapel CI Chapel CI #25: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure
Chapel CI Chapel CI #24: synchronize by hyperpolymath
Startup failure feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
Startup failure
feat(ffi): add missing Zig FFI exports — issue #88 Chapel CI #23: Pull request #160 synchronize by hyperpolymath
35s feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
35s
feat(ffi): add missing Zig FFI exports — issue #88 Chapel CI #22: Pull request #160 synchronize by hyperpolymath
39s feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
39s
fix(proofs): correct pattern match in SafeUrl.Proofs to unblock Idris… Chapel CI #21: Commit 0ecf4b9 pushed by hyperpolymath
2m 36s main
main
2m 36s
[codex] ci: restore full Idris RefC Zig integration Chapel CI #20: Pull request #154 synchronize by hyperpolymath
2m 35s codex/issue-151-idris-refc-zig-ci
codex/issue-151-idris-refc-zig-ci
2m 35s
feat(ffi): add missing Zig FFI exports — issue #88 Chapel CI #19: Pull request #160 opened by hyperpolymath
32s feat/issue-88-missing-ffi-exports
feat/issue-88-missing-ffi-exports
32s
[codex] ci: restore full Idris RefC Zig integration Chapel CI #18: Pull request #154 synchronize by hyperpolymath
2m 55s codex/issue-151-idris-refc-zig-ci
codex/issue-151-idris-refc-zig-ci
2m 55s
[codex] ci: restore full Idris RefC Zig integration Chapel CI #17: Pull request #154 synchronize by hyperpolymath
2m 35s codex/issue-151-idris-refc-zig-ci
codex/issue-151-idris-refc-zig-ci
2m 35s
[codex] ci: restore full Idris RefC Zig integration Chapel CI #16: Pull request #154 synchronize by hyperpolymath
2m 54s codex/issue-151-idris-refc-zig-ci
codex/issue-151-idris-refc-zig-ci
2m 54s
[codex] ci: restore full Idris RefC Zig integration Chapel CI #15: Pull request #154 synchronize by hyperpolymath
2m 47s codex/issue-151-idris-refc-zig-ci
codex/issue-151-idris-refc-zig-ci
2m 47s
[codex] ci: restore full Idris RefC Zig integration Chapel CI #14: Pull request #154 synchronize by hyperpolymath
2m 59s codex/issue-151-idris-refc-zig-ci
codex/issue-151-idris-refc-zig-ci
2m 59s