Skip to content

Actions: QEDGen/solana-skills

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
fix: const resolution in proptest, lean witnesses, counterexamples (#10) CI #75: Commit 151b6a9 pushed by abishekk92
1m 41s main
main
1m 41s
pages build and deployment pages-build-deployment #93: by abishekk92
36s main
main
36s
fix: proptest underflow + wrong Lean witnesses + counterexample values for named constants CI #74: Pull request #10 synchronize by tanmay4l
1m 43s tanmay4l:fix/const-resolution-bugs
tanmay4l:fix/const-resolution-bugs
1m 43s
fix: proptest underflow + wrong Lean witnesses + counterexample values for named constants CI #73: Pull request #10 synchronize by tanmay4l
15s tanmay4l:fix/const-resolution-bugs
tanmay4l:fix/const-resolution-bugs
15s
v2.7.2 — opaque-Bool helpers + quantifier support + Pubkey-vs-const typecheck Release binaries #19: Release v2.7.2 created by abishekk92
2m 55s
2m 55s
v2.7.2: opaque-Bool helpers + quantifier support + Pubkey-vs-const ty… CI #72: Commit 4968417 pushed by abishekk92
1m 44s main
main
1m 44s
pages build and deployment pages-build-deployment #92: by abishekk92
37s main
main
37s
fix(typecheck): reject Pubkey vs named numeric const (F7+F8 follow-up… CI #71: Commit 6fa4ff2 pushed by abishekk92
1m 44s main
main
1m 44s
pages build and deployment pages-build-deployment #91: by abishekk92
1m 0s main
main
1m 0s
feat: implement forall/exists quantifier support (#11) CI #70: Commit c8004cd pushed by abishekk92
1m 43s main
main
1m 43s
pages build and deployment pages-build-deployment #90: by abishekk92
26s main
main
26s
fix(lean_gen): emit uninterpreted helpers as opaque … : Bool (issue… CI #69: Commit 6c87423 pushed by abishekk92
1m 44s main
main
1m 44s
pages build and deployment pages-build-deployment #89: by abishekk92
40s main
main
40s
fix: proptest underflow + wrong Lean witnesses + counterexample values for named constants CI #66: Pull request #10 synchronize by tanmay4l
Action required tanmay4l:fix/const-resolution-bugs
tanmay4l:fix/const-resolution-bugs
Action required
issue template: qedspec bug report form CI #64: Commit 70f4ca9 pushed by abishekk92
1m 46s main
main
1m 46s
pages build and deployment pages-build-deployment #88: by abishekk92
40s main
main
40s
fix: proptest underflow + wrong Lean witnesses + counterexample values for named constants CI #61: Pull request #10 synchronize by tanmay4l
Action required tanmay4l:fix/const-resolution-bugs
tanmay4l:fix/const-resolution-bugs
Action required
fix: proptest underflow + wrong Lean witnesses + counterexample values for named constants CI #60: Pull request #10 synchronize by tanmay4l
Action required tanmay4l:fix/const-resolution-bugs
tanmay4l:fix/const-resolution-bugs
Action required
fix: proptest underflow + wrong Lean witnesses + counterexample values for named constants CI #59: Pull request #10 synchronize by tanmay4l
Action required tanmay4l:fix/const-resolution-bugs
tanmay4l:fix/const-resolution-bugs
Action required
fix: proptest underflow + wrong Lean witnesses + counterexample values for named constants CI #58: Pull request #10 opened by tanmay4l
Action required tanmay4l:fix/const-resolution-bugs
tanmay4l:fix/const-resolution-bugs
Action required
v2.7.1 — issue #8 hotfix + ratchet (thanks @saicharanpogul, @lmvdz) Release binaries #18: Release v2.7.1 created by abishekk92
3m 31s
3m 31s
v2.7.1: release — all 7 issue #8 findings + mathlib pin CI #56: Commit df46afb pushed by abishekk92
1m 51s main
main
1m 51s
pages build and deployment pages-build-deployment #87: by abishekk92
52s main
main
52s
Merge pull request #7 from saicharanpogul/feat/qed-ratchet-followups CI #55: Commit b343363 pushed by abishekk92
1m 44s main
main
1m 44s
pages build and deployment pages-build-deployment #86: by abishekk92
40s main
main
40s