Skip to content

Actions: hyperpolymath/valence-shell

Actions

.github/workflows/secret-scanner.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
secret-scanner.yml
32 workflow runs
32 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 .github/workflows/secret-scanner.yml #32: Commit df9f06b pushed by dependabot bot
Failure dependabot/github_actions/actions-694208e659
dependabot/github_actions/actions-694208e659
Failure
Implement HTTP MCP mode, audit logging, and certificate generation .github/workflows/secret-scanner.yml #31: Commit 5095432 pushed by hyperpolymath
Failure main
main
Failure
chore: rename justfile to Justfile for consistency .github/workflows/secret-scanner.yml #30: Commit 5893009 pushed by hyperpolymath
Failure main
main
Failure
refactor: Replace C NIF with Zigler (pure Zig) .github/workflows/secret-scanner.yml #29: Commit 8160e9e pushed by hyperpolymath
Failure main
main
Failure
Remove CHANGELOG.md (converted to CHANGELOG.adoc) .github/workflows/secret-scanner.yml #28: Commit f8dbdbc pushed by hyperpolymath
Failure main
main
Failure
Convert CHANGELOG.md to AsciiDoc .github/workflows/secret-scanner.yml #27: Commit df548fb pushed by hyperpolymath
Failure main
main
Failure
Remove duplicate CONTRIBUTING.md (content in CONTRIBUTING.adoc) .github/workflows/secret-scanner.yml #26: Commit b253d93 pushed by hyperpolymath
Failure main
main
Failure
Add MAINTAINERS.adoc .github/workflows/secret-scanner.yml #25: Commit beb9d40 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump the actions group across 1 directory with 7 updates .github/workflows/secret-scanner.yml #24: Commit 8416d18 pushed by dependabot bot
Failure dependabot/github_actions/actions-694208e659
dependabot/github_actions/actions-694208e659
Failure
fix(security): ERR-WF-008 and ERR-WF-009 fixes .github/workflows/secret-scanner.yml #23: Commit 0224f0f pushed by hyperpolymath
Failure main
main
Failure
chore: standardize repo with RSR dotfiles and SCM files .github/workflows/secret-scanner.yml #22: Commit 836e3a9 pushed by hyperpolymath
Failure main
main
Failure
docs: update STATE.scm with current project status .github/workflows/secret-scanner.yml #21: Commit c3f7b23 pushed by hyperpolymath
Failure main
main
Failure
fix(lean4): remove all sorry admissions from Lean 4 proofs .github/workflows/secret-scanner.yml #20: Commit 7153137 pushed by hyperpolymath
Failure main
main
Failure
fix(isabelle): all theories now verify in Isabelle 2025 .github/workflows/secret-scanner.yml #19: Commit 7e8a3cf pushed by hyperpolymath
Failure main
main
Failure
fix(mizar): filesystem_model.miz now verifies in Mizar 8.1.15 .github/workflows/secret-scanner.yml #18: Commit 714c08e pushed by hyperpolymath
Failure main
main
Failure
proofs/mizar: Rewrite for MML 5.94 compatibility (WIP) .github/workflows/secret-scanner.yml #17: Commit 7b0e808 pushed by hyperpolymath
Failure main
main
Failure
chore(mizar): add .gitignore for generated files .github/workflows/secret-scanner.yml #16: Commit d509458 pushed by hyperpolymath
Failure main
main
Failure
Add casket-ssg GitHub Pages workflow .github/workflows/secret-scanner.yml #15: Commit 7afe94c pushed by hyperpolymath
Failure main
main
Failure
Add zig-prover-ffi integration and update for Zig 0.15 .github/workflows/secret-scanner.yml #14: Commit 8819d3b pushed by hyperpolymath
Failure main
main
Failure
Update licensing to MPL-2.0 + Palimpsest .github/workflows/secret-scanner.yml #13: Commit 6e0485c pushed by hyperpolymath
Failure main
main
Failure
Fix Palimpsest badge URL (licence → license) .github/workflows/secret-scanner.yml #12: Commit 71d00b6 pushed by hyperpolymath
Failure main
main
Failure
Standardize repo structure (hyperpolymath/mustfile pattern) .github/workflows/secret-scanner.yml #11: Commit 51398cf pushed by hyperpolymath
Failure main
main
Failure
Update licensing to MPL-2.0 + Palimpsest .github/workflows/secret-scanner.yml #10: Commit d5a623f pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump the actions group with 4 updates .github/workflows/secret-scanner.yml #9: Commit 2936ac1 pushed by dependabot bot
Failure dependabot/github_actions/actions-5b3fcdc6cb
dependabot/github_actions/actions-5b3fcdc6cb
Failure
chore: add security validation pre-commit hooks .github/workflows/secret-scanner.yml #8: Commit a92da3e pushed by hyperpolymath
Failure main
main
Failure