Skip to content

Actions: hyperpolymath/echidna

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
92 workflow runs
92 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(ci): enable Hypatia scanning Rust CI #92: Commit 7e127fe pushed by hyperpolymath
31m 11s main
main
31m 11s
docs: comprehensive documentation for v1.3.0 release Rust CI #91: Commit d91314c pushed by hyperpolymath
5m 2s main
main
5m 2s
chore: fix license headers to PMPL-1.0-or-later Rust CI #90: Commit 6eaa0e1 pushed by hyperpolymath
1h 52m 48s main
main
1h 52m 48s
chore: commit local changes for sync Rust CI #89: Commit a391b78 pushed by hyperpolymath
24m 54s main
main
24m 54s
Record local MVP sweep status Rust CI #88: Commit aa86c8a pushed by hyperpolymath
5m 21s main
main
5m 21s
Allow HOL Light verify for empty goals Rust CI #87: Commit d7e7ac0 pushed by hyperpolymath
5m 10s main
main
5m 10s
Allow Isabelle verify for trivial goals Rust CI #86: Commit 74c0834 pushed by hyperpolymath
5m 15s main
main
5m 15s
Ignore local prover artifacts Rust CI #85: Commit 3af544a pushed by hyperpolymath
5m 10s main
main
5m 10s
Fix ACL2 verification input handling Rust CI #84: Commit 611342d pushed by hyperpolymath
5m 21s main
main
5m 21s
Fix Agda/CVC5 verification for MVP sweep Rust CI #83: Commit ea05029 pushed by hyperpolymath
5m 14s main
main
5m 14s
Add MVP missing prover backlog Rust CI #82: Commit 03c9a0d pushed by hyperpolymath
5m 20s main
main
5m 20s
Track missing local provers in MVP checklist Rust CI #81: Commit 4d7b84d pushed by hyperpolymath
6m 49s main
main
6m 49s
Document local MVP Rust CI #80: Commit d97d4f1 pushed by hyperpolymath
8m 21s main
main
8m 21s
Use source file for Mizar Rust CI #79: Commit 9697919 pushed by hyperpolymath
6m 6s main
main
6m 6s
Stabilize MVP verification for Lean/Z3 Rust CI #78: Commit b196739 pushed by hyperpolymath
5m 12s main
main
5m 12s
Add MVP dependencies and best-effort CI Rust CI #77: Commit 4d3e9d3 pushed by hyperpolymath
5m 16s main
main
5m 16s
Add MVP 1.0 checklist and smoke checks Rust CI #76: Commit 7113ba6 pushed by hyperpolymath
5m 5s main
main
5m 5s
Update echidnabot submodule Rust CI #75: Commit a8fdeb4 pushed by hyperpolymath
4m 50s main
main
4m 50s
Remove broken echidna-setup gitlink Rust CI #74: Commit ccfdaf2 pushed by hyperpolymath
4m 48s main
main
4m 48s
chore: sync template files and configuration Rust CI #73: Commit 0ab4218 pushed by hyperpolymath
13m 4s main
main
13m 4s
fix(version): bump Cargo.toml version to match v1.0.0 tag Rust CI #72: Commit 7e4b260 pushed by hyperpolymath
5m 15s main
main
5m 15s
Update README.adoc Rust CI #71: Commit 47050d8 pushed by hyperpolymath
4m 46s main
main
4m 46s
feat: add CI/CD and Julia integration testing Rust CI #70: Commit adf748b pushed by hyperpolymath
5m 9s main
main
5m 9s
feat: add HOL4 tests and update NEUROSYM.scm with v2 radial network spec Rust CI #69: Commit cf9dff6 pushed by hyperpolymath
8s main
main
8s
feat: complete neural integration with Julia ML backend Rust CI #68: Commit f106963 pushed by hyperpolymath
7s main
main
7s