Skip to content

Actions: hyperpolymath/echidna

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: sync template files and configuration Code Quality #74: Commit 0ab4218 pushed by hyperpolymath
10m 36s main
main
10m 36s
fix(version): bump Cargo.toml version to match v1.0.0 tag Code Quality #73: Commit 7e4b260 pushed by hyperpolymath
7s main
main
7s
feat: add CI/CD and Julia integration testing Code Quality #72: Commit adf748b pushed by hyperpolymath
1m 51s v1.0.0
v1.0.0
1m 51s
Update README.adoc Code Quality #71: Commit 47050d8 pushed by hyperpolymath
7s main
main
7s
feat: add CI/CD and Julia integration testing Code Quality #70: Commit adf748b pushed by hyperpolymath
7s main
main
7s
feat: add HOL4 tests and update NEUROSYM.scm with v2 radial network spec Code Quality #69: Commit cf9dff6 pushed by hyperpolymath
7s main
main
7s
feat: complete neural integration with Julia ML backend Code Quality #68: Commit f106963 pushed by hyperpolymath
7s main
main
7s
feat(provers): implement complete Lean 4 backend Code Quality #67: Commit 30b36cc pushed by hyperpolymath
8s main
main
8s
Add SCM metadata files (STATE, META, ECOSYSTEM) Code Quality #66: Commit f45f06f pushed by hyperpolymath
50m 25s main
main
50m 25s
Add ClusterFuzzLite fuzzing infrastructure Code Quality #65: Commit fc6124e pushed by hyperpolymath
55m 56s main
main
55m 56s
Update license to Palimpsest-MPL-1.0 Code Quality #64: Commit 6037fce pushed by hyperpolymath
7m 44s main
main
7m 44s
chore: rename justfile to Justfile for consistency Code Quality #63: Commit cfafb77 pushed by hyperpolymath
4m 40s topic-tooling
topic-tooling
4m 40s
chore: rename justfile to Justfile for consistency Code Quality #62: Commit cfafb77 pushed by hyperpolymath
4m 3s topic-systems
topic-systems
4m 3s
chore: rename justfile to Justfile for consistency Code Quality #61: Commit cfafb77 pushed by hyperpolymath
16m 32s main
main
16m 32s
Remove CHANGELOG.md (converted to CHANGELOG.adoc) Code Quality #60: Commit e7b943e pushed by hyperpolymath
1h 30m 59s main
main
1h 30m 59s
Convert CHANGELOG.md to AsciiDoc Code Quality #59: Commit 3827c91 pushed by hyperpolymath
1h 29m 46s main
main
1h 29m 46s
Remove duplicate CONTRIBUTING.md (content in CONTRIBUTING.adoc) Code Quality #58: Commit 8c1be7a pushed by hyperpolymath
29m 0s main
main
29m 0s
Add MAINTAINERS.adoc Code Quality #57: Commit a6de2a8 pushed by hyperpolymath
52m 44s main
main
52m 44s
policy: ban Python completely (no exceptions) Code Quality #56: Commit 966ffed pushed by hyperpolymath
14m 29s main
main
14m 29s
Update licensing to MPL-2.0 + Palimpsest Code Quality #55: Commit 9c4e316 pushed by hyperpolymath
2h 6m 4s main
main
2h 6m 4s
Standardize repo structure (hyperpolymath/mustfile pattern) Code Quality #54: Commit 97ece95 pushed by hyperpolymath
49m 42s main
main
49m 42s
chore: update mirror workflow for multi-forge sync Code Quality #53: Commit 34f9370 pushed by hyperpolymath
44m 10s main
main
44m 10s
chore: update mirror workflow for multi-forge sync Code Quality #52: Commit 6b3dfc2 pushed by hyperpolymath
39m 49s main
main
39m 49s
Add scorecard-enforcer.yml prevention workflow Code Quality #51: Commit 159becd pushed by hyperpolymath
1h 13m 23s main
main
1h 13m 23s
Add secret-scanner.yml prevention workflow Code Quality #50: Commit 03201a8 pushed by hyperpolymath
1h 13m 23s main
main
1h 13m 23s