Skip to content

Actions: hyperpolymath/echidna

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.adoc Mirror to Git Forges #59: Commit 47050d8 pushed by hyperpolymath
18s main
main
18s
feat: add CI/CD and Julia integration testing Mirror to Git Forges #58: Commit adf748b pushed by hyperpolymath
13s main
main
13s
feat: add HOL4 tests and update NEUROSYM.scm with v2 radial network spec Mirror to Git Forges #57: Commit cf9dff6 pushed by hyperpolymath
14s main
main
14s
feat: complete neural integration with Julia ML backend Mirror to Git Forges #56: Commit f106963 pushed by hyperpolymath
15s main
main
15s
feat(provers): implement complete Lean 4 backend Mirror to Git Forges #55: Commit 30b36cc pushed by hyperpolymath
13s main
main
13s
Add SCM metadata files (STATE, META, ECOSYSTEM) Mirror to Git Forges #54: Commit f45f06f pushed by hyperpolymath
49m 40s main
main
49m 40s
Add ClusterFuzzLite fuzzing infrastructure Mirror to Git Forges #53: Commit fc6124e pushed by hyperpolymath
57m 25s main
main
57m 25s
Update license to Palimpsest-MPL-1.0 Mirror to Git Forges #52: Commit 6037fce pushed by hyperpolymath
6m 37s main
main
6m 37s
chore: rename justfile to Justfile for consistency Mirror to Git Forges #51: Commit cfafb77 pushed by hyperpolymath
17m 23s main
main
17m 23s
Remove CHANGELOG.md (converted to CHANGELOG.adoc) Mirror to Git Forges #50: Commit e7b943e pushed by hyperpolymath
1h 28m 56s main
main
1h 28m 56s
Convert CHANGELOG.md to AsciiDoc Mirror to Git Forges #49: Commit 3827c91 pushed by hyperpolymath
1h 28m 39s main
main
1h 28m 39s
Remove duplicate CONTRIBUTING.md (content in CONTRIBUTING.adoc) Mirror to Git Forges #48: Commit 8c1be7a pushed by hyperpolymath
28m 41s main
main
28m 41s
Add MAINTAINERS.adoc Mirror to Git Forges #47: Commit a6de2a8 pushed by hyperpolymath
50m 52s main
main
50m 52s
policy: ban Python completely (no exceptions) Mirror to Git Forges #46: Commit 966ffed pushed by hyperpolymath
19m 42s main
main
19m 42s
Update licensing to MPL-2.0 + Palimpsest Mirror to Git Forges #45: Commit 9c4e316 pushed by hyperpolymath
2h 6m 43s main
main
2h 6m 43s
Standardize repo structure (hyperpolymath/mustfile pattern) Mirror to Git Forges #44: Commit 97ece95 pushed by hyperpolymath
52m 10s main
main
52m 10s
chore: update mirror workflow for multi-forge sync Mirror to Git Forges #43: Commit 34f9370 pushed by hyperpolymath
42m 39s main
main
42m 39s
chore: update mirror workflow for multi-forge sync Mirror to Git Forges #42: Commit 6b3dfc2 pushed by hyperpolymath
37m 4s main
main
37m 4s
Add scorecard-enforcer.yml prevention workflow Mirror to Git Forges #41: Commit 159becd pushed by hyperpolymath
1h 14m 31s main
main
1h 14m 31s
Add secret-scanner.yml prevention workflow Mirror to Git Forges #40: Commit 03201a8 pushed by hyperpolymath
1h 13m 53s main
main
1h 13m 53s
Add security rule learning module for cicd-hyper-a integration Mirror to Git Forges #39: Commit 3452a03 pushed by hyperpolymath
12s main
main
12s
chore: explicitly specify -f Containerfile in workflow Mirror to Git Forges #38: Commit 03fedd9 pushed by hyperpolymath
11s main
main
11s
chore: remove old Dockerfile (using Containerfile) Mirror to Git Forges #37: Commit 2e731f5 pushed by hyperpolymath
17s main
main
17s
Use Rust 1.85 for edition2024 support Mirror to Git Forges #36: Commit fb4d0f6 pushed by hyperpolymath
13s main
main
13s
Copy benches dir and build only binary Mirror to Git Forges #35: Commit f3fa529 pushed by hyperpolymath
9s main
main
9s