Skip to content

Actions: hyperpolymath/valence-shell

Actions

Compilation Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compilation_tests.yml
130 workflow runs
130 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(deps): bump the actions group with 5 updates (#217) Compilation Tests #130: Commit 295c3ca pushed by hyperpolymath
31m 26s main
main
31m 26s
chore(deps): bump the actions group with 5 updates Compilation Tests #129: Pull request #217 opened by dependabot Bot
30m 28s dependabot/github_actions/actions-6ba437f696
dependabot/github_actions/actions-6ba437f696
30m 28s
Fix/verify preconditions real (#216) Compilation Tests #128: Commit 680c929 pushed by hyperpolymath
1h 0m 43s main
main
1h 0m 43s
Fix/verify preconditions real Compilation Tests #127: Pull request #216 synchronize by hyperpolymath
30m 33s fix/verify-preconditions-real
fix/verify-preconditions-real
30m 33s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5… Compilation Tests #126: Commit c033e9e pushed by hyperpolymath
1h 27m 27s main
main
1h 27m 27s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5) Compilation Tests #125: Pull request #215 opened by hyperpolymath
1h 13m 50s fix/verify-preconditions-real
fix/verify-preconditions-real
1h 13m 50s
fix(test): model oracle test fails instead of skipping as a pass (P0-… Compilation Tests #124: Commit 3440d69 pushed by hyperpolymath
1h 32m 18s main
main
1h 32m 18s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) Compilation Tests #123: Pull request #214 synchronize by hyperpolymath
1h 15m 44s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
1h 15m 44s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) Compilation Tests #122: Pull request #214 opened by hyperpolymath
31m 54s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
31m 54s
fix: close foundational shell and proof-integrity gaps (#193) Compilation Tests #121: Commit b75712e pushed by hyperpolymath
1h 0m 35s main
main
1h 0m 35s
fix: close foundational shell and proof-integrity gaps Compilation Tests #120: Pull request #193 opened by hyperpolymath
40m 3s codex/closure-sprint-20260824
codex/closure-sprint-20260824
40m 3s
refactor: migrate Markdown to AsciiDoc (#188) Compilation Tests #119: Commit 3ce0417 pushed by hyperpolymath
1h 35m 36s main
main
1h 35m 36s
refactor: migrate Markdown to AsciiDoc Compilation Tests #118: Pull request #188 opened by hyperpolymath
1h 32m 43s refactor/md-to-adoc
refactor/md-to-adoc
1h 32m 43s
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 Compilation Tests #117: Pull request #181 opened by hyperpolymath
32m 47s fix/ci-426-batch13
fix/ci-426-batch13
32m 47s
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 Compilation Tests #116: Pull request #180 opened by hyperpolymath
44m 18s fix/ci-426-batch12
fix/ci-426-batch12
44m 18s
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329 Compilation Tests #115: Pull request #179 opened by hyperpolymath
31m 20s fix/ci-426-batch11
fix/ci-426-batch11
31m 20s
chore: fill or remove RSR template placeholders (#174) Compilation Tests #114: Commit 3ad51e1 pushed by hyperpolymath
33m 42s main
main
33m 42s
chore: fill or remove RSR template placeholders Compilation Tests #113: Pull request #174 synchronize by hyperpolymath
1h 1m 36s fix/rsr-placeholders
fix/rsr-placeholders
1h 1m 36s
chore: fill or remove RSR template placeholders Compilation Tests #112: Pull request #174 opened by hyperpolymath
31m 48s fix/rsr-placeholders
fix/rsr-placeholders
31m 48s
chore(deps): bump the actions group with 6 updates (#172) Compilation Tests #111: Commit 2314116 pushed by hyperpolymath
30m 33s main
main
30m 33s
chore(deps): bump the actions group with 6 updates Compilation Tests #110: Pull request #172 opened by dependabot Bot
30m 31s dependabot/github_actions/actions-912ccda2ba
dependabot/github_actions/actions-912ccda2ba
30m 31s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… Compilation Tests #109: Commit 6bae89b pushed by hyperpolymath
46m 53s main
main
46m 53s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime Compilation Tests #108: Pull request #165 synchronize by hyperpolymath
54m 8s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
54m 8s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime Compilation Tests #107: Pull request #165 opened by hyperpolymath
30m 33s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
30m 33s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fi… Compilation Tests #106: Commit 2c028a4 pushed by hyperpolymath
30m 36s main
main
30m 36s