Skip to content

Actions: hyperpolymath/my-lang

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
47 workflow runs
47 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 github-actions group with 9 updates (#138) Coverage #47: Commit 3d8892b pushed by hyperpolymath
15m 26s main
main
15m 26s
chore(deps): bump the github-actions group with 9 updates Coverage #46: Pull request #138 opened by dependabot Bot
17m 45s dependabot/github_actions/github-actions-00eee191ea
dependabot/github_actions/github-actions-00eee191ea
17m 45s
chore(deps): bump the github-actions group with 9 updates Coverage #45: Commit 53c178f pushed by dependabot Bot
18m 0s dependabot/github_actions/github-actions-00eee191ea
dependabot/github_actions/github-actions-00eee191ea
18m 0s
chore(hypatia): clear false-positive + stale-ref findings at source (… Coverage #44: Commit 1810e21 pushed by hyperpolymath
2m 5s main
main
2m 5s
chore(hypatia): clear false-positive + stale-ref findings at source (issue #34) Coverage #43: Pull request #131 synchronize by hyperpolymath
1m 29s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 29s
chore(hypatia): clear false-positive + stale-ref findings at source (issue #34) Coverage #42: Pull request #131 synchronize by hyperpolymath
1m 54s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 54s
fix(my-llvm): reword SAFETY comment to drop 'transmute' keyword Coverage #41: Commit 109f8f5 pushed by hyperpolymath
1m 53s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 53s
fix: restore workspace build (llvm-cov) + resolve pre-existing CI fai… Coverage #40: Commit f31b9b5 pushed by hyperpolymath
2m 1s main
main
2m 1s
fix: restore workspace build (llvm-cov) + resolve pre-existing CI failures at source Coverage #39: Pull request #129 opened by hyperpolymath
1m 59s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 59s
chore(repo): resolve stale conflict markers, LICENSE SPDX, ClusterFuz… Coverage #38: Commit 8d908cc pushed by hyperpolymath
2m 5s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
2m 5s
feat: @safe-gated verified resource checking + n-ary/global session r… Coverage #37: Commit caf3b81 pushed by hyperpolymath
1m 58s main
main
1m 58s
feat: @safe-gated verified resource checking + n-ary/global session runtimes Coverage #36: Pull request #127 opened by hyperpolymath
1m 51s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 51s
proof(coupling #4): n-ary nstep + global gstep session runtimes Coverage #35: Commit ec9b17b pushed by hyperpolymath
1m 52s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 52s
Merge branch 'main' into cicd/codeql-cron-monthly Coverage #34: Commit c3cf61a pushed by hyperpolymath
1m 57s cicd/codeql-cron-monthly
cicd/codeql-cron-monthly
1m 57s
Merge branch 'main' into chore/foundations-bridge-adoc Coverage #33: Commit f6364ce pushed by hyperpolymath
2m 18s chore/foundations-bridge-adoc
chore/foundations-bridge-adoc
2m 18s
proof(coupling): close impl⇄spec couplings #1–#4 by differential conf… Coverage #32: Commit 949b5ed pushed by hyperpolymath
1m 56s main
main
1m 56s
proof(coupling): close impl⇄spec couplings #1–#4 by differential conformance; #5 by-design Coverage #31: Pull request #121 synchronize by hyperpolymath
1m 39s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 39s
proof(coupling): close impl⇄spec couplings #1–#4 by differential conformance; #5 by-design Coverage #30: Pull request #121 opened by hyperpolymath
2m 1s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
2m 1s
proof(coupling #4+#5): close session runtime vs cstep; affirm me is b… Coverage #29: Commit 2a57177 pushed by hyperpolymath
2m 5s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
2m 5s
feat(my-lang/qtt_bridge): lower real ast::Expr onto the verified QTT … Coverage #28: Commit a7765e7 pushed by hyperpolymath
2m 6s main
main
2m 6s
Coupling step 2: my-lang surface → verified QTT core (surface engine + ast bridge) Coverage #27: Pull request #117 opened by hyperpolymath
2m 3s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
2m 3s
feat(my-lang/qtt_bridge): lower real ast::Expr onto the verified QTT … Coverage #26: Commit 48e5a86 pushed by hyperpolymath
1m 37s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 37s
feat(my-qtt): QTT verified-core checker — faithful Rust port of Coq R… Coverage #25: Commit f2eff3b pushed by hyperpolymath
1m 59s main
main
1m 59s
feat(my-qtt): QTT verified-core checker — faithful Rust port of Coq R… Coverage #24: Commit da9363c pushed by hyperpolymath
1m 54s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 54s
QTT fundamentals coupling: my-qtt verified-core checker + Idris substitution-algebra slices Coverage #23: Pull request #116 synchronize by hyperpolymath
2m 3s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
2m 3s