Skip to content

Actions: hyperpolymath/echidna

Actions

Chapel Accelerator CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
chapel-ci.yml
361 workflow runs
361 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
Merge branch 'main' into dependabot/cargo/capnp-0.27.1 Chapel Accelerator CI #361: Commit 4977c16 pushed by hyperpolymath
Startup failure dependabot/cargo/capnp-0.27.1
dependabot/cargo/capnp-0.27.1
Startup failure
Merge branch 'main' into dependabot/github_actions/actions-2d3ed2d690 Chapel Accelerator CI #360: Commit 5875452 pushed by hyperpolymath
Startup failure dependabot/github_actions/actions-2d3ed2d690
dependabot/github_actions/actions-2d3ed2d690
Startup failure
Merge branch 'main' into fix/empty-linter-pattern-never-matched Chapel Accelerator CI #359: Commit 574534f pushed by hyperpolymath
Startup failure fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
Startup failure
Merge branch 'main' into dependabot/cargo/uuid-1.26.0 Chapel Accelerator CI #358: Commit d9987ca pushed by hyperpolymath
Startup failure dependabot/cargo/uuid-1.26.0
dependabot/cargo/uuid-1.26.0
Startup failure
Merge branch 'main' into dependabot/cargo/rmcp-3.2.0 Chapel Accelerator CI #357: Commit b1dbe16 pushed by hyperpolymath
Startup failure dependabot/cargo/rmcp-3.2.0
dependabot/cargo/rmcp-3.2.0
Startup failure
fix(proof): require real proof rejection and valid Coq submissions (#… Chapel Accelerator CI #356: Commit 13e7d47 pushed by hyperpolymath
Startup failure main
main
Startup failure
Chapel Accelerator CI Chapel Accelerator CI #355: synchronize by hyperpolymath
Startup failure codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
Startup failure
fix(proof): require real proof rejection and valid Coq submissions Chapel Accelerator CI #354: Pull request #376 synchronize by hyperpolymath
4m 28s codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
4m 28s
Reject forged SMT status output and address verification review findings Chapel Accelerator CI #353: Commit f60248f pushed by hyperpolymath
4m 56s codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
4m 56s
fix(proof): require real proof rejection and valid Coq submissions Chapel Accelerator CI #352: Pull request #376 synchronize by hyperpolymath
4m 9s codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
4m 9s
fix(ci): retain allowlisted action owner spelling Chapel Accelerator CI #351: Commit 858e796 pushed by hyperpolymath
4m 17s codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
4m 17s
fix(proof): require real proof rejection and valid Coq submissions Chapel Accelerator CI #350: Pull request #376 synchronize by hyperpolymath
4m 32s codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
4m 32s
fix(ci): verify Isabelle downloads and repair governance source pointers Chapel Accelerator CI #349: Commit 2ddd1a3 pushed by hyperpolymath
5m 26s codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
5m 26s
fix(proof): require real proof rejection and valid Coq submissions Chapel Accelerator CI #348: Pull request #376 synchronize by hyperpolymath
4m 35s codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
4m 35s
fix(ci): install native build tools and patch vulnerable dependencies Chapel Accelerator CI #347: Commit 8b0b2fa pushed by hyperpolymath
5m 23s codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
5m 23s
Merge branch 'main' into fix/empty-linter-pattern-never-matched Chapel Accelerator CI #346: Commit 9e0ada4 pushed by hyperpolymath
5m 8s fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
5m 8s
Merge branch 'main' into dependabot/github_actions/actions-302e7ff35a Chapel Accelerator CI #345: Commit c5db4c3 pushed by hyperpolymath
4m 32s dependabot/github_actions/actions-302e7ff35a
dependabot/github_actions/actions-302e7ff35a
4m 32s
chore(deps): bump uuid from 1.24.0 to 1.25.0 (#371) Chapel Accelerator CI #344: Commit f762163 pushed by hyperpolymath
5m 2s main
main
5m 2s
chore(deps): bump uuid from 1.24.0 to 1.25.0 Chapel Accelerator CI #343: Pull request #371 synchronize by hyperpolymath
4m 24s dependabot/cargo/uuid-1.25.0
dependabot/cargo/uuid-1.25.0
4m 24s
build(deps): update uuid dependency to 1.25.0 in Cargo.toml Chapel Accelerator CI #342: Commit 10dac5e pushed by hyperpolymath
4m 59s dependabot/cargo/uuid-1.25.0
dependabot/cargo/uuid-1.25.0
4m 59s
fix(ci): unbreak workflow YAML and add a complete actions.lock (#368) Chapel Accelerator CI #341: Commit 994bda3 pushed by hyperpolymath
8m 35s main
main
8m 35s
fix(ci): unbreak workflow YAML and add a complete actions.lock Chapel Accelerator CI #340: Pull request #368 opened by hyperpolymath
8m 28s fix/workflow-dependency-locking
fix/workflow-dependency-locking
8m 28s
fix(ci): unbreak workflow YAML and add a complete actions.lock Chapel Accelerator CI #339: Commit a30223f pushed by hyperpolymath
5m 59s fix/workflow-dependency-locking
fix/workflow-dependency-locking
5m 59s
refactor: migrate Markdown to AsciiDoc (#366) Chapel Accelerator CI #338: Commit e1347cd pushed by hyperpolymath
Startup failure main
main
Startup failure
Chapel Accelerator CI Chapel Accelerator CI #337: opened by hyperpolymath
Startup failure refactor/md-to-adoc
refactor/md-to-adoc
Startup failure