Skip to content

Actions: hyperpolymath/wokelang

Actions

coq-proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-proofs.yml
22 workflow runs
22 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
build(deps): bump the actions group with 10 updates (#143) coq-proofs #22: Commit d19cab0 pushed by hyperpolymath
56s main
main
56s
coq-proofs coq-proofs #21: opened by dependabot Bot
Startup failure dependabot/github_actions/actions-5a60ffb33c
dependabot/github_actions/actions-5a60ffb33c
Startup failure
build(deps): bump the actions group with 10 updates coq-proofs #20: Commit 8b4bfd4 pushed by dependabot Bot
Startup failure dependabot/github_actions/actions-5a60ffb33c
dependabot/github_actions/actions-5a60ffb33c
Startup failure
Grammar proofs, extensions: Coq parser port + §7.1 not-regular (from … coq-proofs #19: Commit 12971c7 pushed by hyperpolymath
40s main
main
40s
Grammar proofs, extensions: Coq parser port + §7.1 not-regular (from scratch) coq-proofs #18: Pull request #104 opened by hyperpolymath
39s claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
39s
feat(proofs): §7.1 not-regular, machine-checked from scratch (DFA + p… coq-proofs #17: Commit 5476a49 pushed by hyperpolymath
41s claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
41s
Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, … coq-proofs #16: Commit 0b1b031 pushed by hyperpolymath
40s main
main
40s
Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, classification (Lean + Coq) coq-proofs #15: Pull request #103 opened by hyperpolymath
40s claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
40s
feat(proofs): grammar structural metatheory — no-left-recursion (+ di… coq-proofs #14: Commit daf3673 pushed by hyperpolymath
31s claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
31s
feat(proofs): statement typing judgment + metatheory (Lean + Coq) (#91) coq-proofs #13: Commit b141752 pushed by hyperpolymath
1m 17s main
main
1m 17s
feat(proofs): statement typing judgment + metatheory (Lean + Coq) coq-proofs #12: Pull request #91 opened by hyperpolymath
34s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
34s
Merge remote-tracking branch 'origin/main' into claude/sleepy-carson-… coq-proofs #11: Commit b005f5b pushed by hyperpolymath
36s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
36s
Merge superseded sleepy-carson history (ours): repaired WokeLang.v + … coq-proofs #10: Commit db539de pushed by hyperpolymath
39s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
39s
Merge branch 'main' into claude/pin-toolchain-clippy coq-proofs #9: Commit bbb1500 pushed by hyperpolymath
44s claude/pin-toolchain-clippy
claude/pin-toolchain-clippy
44s
feat(proofs): Coq binop parity — or/sub/mul/div/mod + comparisons in … coq-proofs #8: Commit f69d910 pushed by hyperpolymath
1m 2s main
main
1m 2s
feat(proofs): Coq binop parity — or/sub/mul/div/mod + comparisons in WokeLang.v coq-proofs #7: Pull request #86 opened by hyperpolymath
52s claude/coq-binop-parity
claude/coq-binop-parity
52s
feat(proofs): Coq binop parity — or/sub/mul/div/mod + comparisons in … coq-proofs #6: Commit 84ae21a pushed by hyperpolymath
48s claude/coq-binop-parity
claude/coq-binop-parity
48s
docs(machine-readable): surface PRs #79-#82 proof work to bot-coordination state coq-proofs #5: Pull request #83 opened by hyperpolymath
41s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
41s
docs(machine-readable): surface PRs #79-#82 proof work to bot-coordin… coq-proofs #4: Commit 83a3069 pushed by hyperpolymath
34s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
34s
fix(proofs): repair bit-rotted WokeLang.v (Coq) + meticulous audit + … coq-proofs #3: Commit 11ec276 pushed by hyperpolymath
33s main
main
33s
fix(proofs): repair bit-rotted WokeLang.v (Coq) + meticulous audit + CI gate coq-proofs #2: Pull request #82 opened by hyperpolymath
34s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
34s
fix(proofs): repair bit-rotted WokeLang.v (Coq) + audit + CI gate coq-proofs #1: Commit 8e66f14 pushed by hyperpolymath
40s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
40s