Skip to content

Actions: hyperpolymath/valence-shell

Actions

Elixir CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
elixir.yml
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): bump the actions group across 1 directory with 7 updates Elixir CI #82: Pull request #12 synchronize by dependabot bot
6s dependabot/github_actions/actions-694208e659
dependabot/github_actions/actions-694208e659
6s
Implement HTTP MCP mode, audit logging, and certificate generation Elixir CI #81: Commit 5095432 pushed by hyperpolymath
39s main
main
39s
chore: rename justfile to Justfile for consistency Elixir CI #80: Commit 5893009 pushed by hyperpolymath
6m 22s main
main
6m 22s
refactor: Replace C NIF with Zigler (pure Zig) Elixir CI #79: Commit 8160e9e pushed by hyperpolymath
11s main
main
11s
Remove CHANGELOG.md (converted to CHANGELOG.adoc) Elixir CI #78: Commit f8dbdbc pushed by hyperpolymath
1h 12m 9s main
main
1h 12m 9s
Convert CHANGELOG.md to AsciiDoc Elixir CI #77: Commit df548fb pushed by hyperpolymath
1h 12m 8s main
main
1h 12m 8s
Remove duplicate CONTRIBUTING.md (content in CONTRIBUTING.adoc) Elixir CI #76: Commit b253d93 pushed by hyperpolymath
4m 52s main
main
4m 52s
Add MAINTAINERS.adoc Elixir CI #75: Commit beb9d40 pushed by hyperpolymath
1h 10m 41s main
main
1h 10m 41s
chore(deps): bump the actions group across 1 directory with 7 updates Elixir CI #74: Pull request #12 opened by dependabot bot
2m 47s dependabot/github_actions/actions-694208e659
dependabot/github_actions/actions-694208e659
2m 47s
fix(security): ERR-WF-008 and ERR-WF-009 fixes Elixir CI #73: Commit 0224f0f pushed by hyperpolymath
44m 40s main
main
44m 40s
chore: standardize repo with RSR dotfiles and SCM files Elixir CI #72: Commit 836e3a9 pushed by hyperpolymath
2m 14s main
main
2m 14s
docs: update STATE.scm with current project status Elixir CI #71: Commit c3f7b23 pushed by hyperpolymath
7s main
main
7s
fix(lean4): remove all sorry admissions from Lean 4 proofs Elixir CI #70: Commit 7153137 pushed by hyperpolymath
8s main
main
8s
fix(isabelle): all theories now verify in Isabelle 2025 Elixir CI #69: Commit 7e8a3cf pushed by hyperpolymath
9s main
main
9s
fix(mizar): filesystem_model.miz now verifies in Mizar 8.1.15 Elixir CI #68: Commit 714c08e pushed by hyperpolymath
6s main
main
6s
proofs/mizar: Rewrite for MML 5.94 compatibility (WIP) Elixir CI #67: Commit 7b0e808 pushed by hyperpolymath
39s main
main
39s
chore(mizar): add .gitignore for generated files Elixir CI #66: Commit d509458 pushed by hyperpolymath
5s main
main
5s
Add casket-ssg GitHub Pages workflow Elixir CI #65: Commit 7afe94c pushed by hyperpolymath
1m 45s main
main
1m 45s
Add zig-prover-ffi integration and update for Zig 0.15 Elixir CI #64: Commit 8819d3b pushed by hyperpolymath
6s main
main
6s
Update licensing to MPL-2.0 + Palimpsest Elixir CI #63: Commit 6e0485c pushed by hyperpolymath
1h 27m 28s main
main
1h 27m 28s
Fix Palimpsest badge URL (licence → license) Elixir CI #62: Commit 71d00b6 pushed by hyperpolymath
1h 24m 3s main
main
1h 24m 3s
Standardize repo structure (hyperpolymath/mustfile pattern) Elixir CI #61: Commit 51398cf pushed by hyperpolymath
15m 22s main
main
15m 22s
Update licensing to MPL-2.0 + Palimpsest Elixir CI #60: Commit d5a623f pushed by hyperpolymath
2m 16s main
main
2m 16s
chore(deps): bump the actions group with 4 updates Elixir CI #59: Pull request #11 opened by dependabot bot
7s dependabot/github_actions/actions-5b3fcdc6cb
dependabot/github_actions/actions-5b3fcdc6cb
7s
chore: add security validation pre-commit hooks Elixir CI #58: Commit a92da3e pushed by hyperpolymath
1m 34s main
main
1m 34s