Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,209 workflow runs
1,209 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
Add test cases of #138 .github/workflows/ci.yml #1021: Pull request #148 opened by coord-e
1m 22s coord-e/closure-mut-pair-testcase
coord-e/closure-mut-pair-testcase
1m 22s
Add test cases of #138 .github/workflows/ci.yml #1020: Commit 26c1cea pushed by coord-e
1m 19s coord-e/closure-mut-pair-testcase
coord-e/closure-mut-pair-testcase
1m 19s
Bump syn from 2.0.117 to 2.0.118 .github/workflows/ci.yml #1019: Pull request #147 opened by dependabot Bot
1m 22s dependabot/cargo/syn-2.0.118
dependabot/cargo/syn-2.0.118
1m 22s
Bump syn from 2.0.117 to 2.0.118 .github/workflows/ci.yml #1018: Commit 8e1648d pushed by dependabot Bot
1m 35s dependabot/cargo/syn-2.0.118
dependabot/cargo/syn-2.0.118
1m 35s
Bump quote from 1.0.45 to 1.0.46 .github/workflows/ci.yml #1017: Pull request #146 opened by dependabot Bot
1m 24s dependabot/cargo/quote-1.0.46
dependabot/cargo/quote-1.0.46
1m 24s
Bump quote from 1.0.45 to 1.0.46 .github/workflows/ci.yml #1016: Commit 4b31ab6 pushed by dependabot Bot
1m 33s dependabot/cargo/quote-1.0.46
dependabot/cargo/quote-1.0.46
1m 33s
Bump actions/checkout from 6 to 7 .github/workflows/ci.yml #1015: Pull request #145 opened by dependabot Bot
1m 20s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
1m 20s
Bump actions/checkout from 6 to 7 .github/workflows/ci.yml #1014: Commit e4c7585 pushed by dependabot Bot
1m 17s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
1m 17s
github_actions in /. - Update #1428460167 Dependabot Updates #64: by dependabot Bot
28s main
main
28s
cargo in /. - Update #1428460001 Dependabot Updates #63: by dependabot Bot
1m 16s main
main
1m 16s
Phase 2: snapshot!{} and proof_assert!{} markers (initial) .github/workflows/ci.yml #1013: Commit e9f71bb pushed by coord-e
1m 29s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 29s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #1012: Pull request #93 synchronize by coeff-aij
1m 14s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 14s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #1011: Pull request #93 synchronize by coeff-aij
1m 15s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 15s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #1010: Pull request #93 synchronize by coeff-aij
1m 22s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 22s
Phase 1: Seq<T> ghost type .github/workflows/ci.yml #1009: Pull request #143 synchronize by coord-e
1m 19s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 19s
Add Seq tests that drive verification of real runtime programs .github/workflows/ci.yml #1008: Commit 574c402 pushed by coord-e
1m 24s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 24s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #1007: Pull request #93 synchronize by coeff-aij
1m 25s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 25s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #1006: Pull request #93 synchronize by coeff-aij
1m 17s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 17s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #1005: Pull request #93 synchronize by coeff-aij
1m 23s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 23s
Phase 1: Seq<T> ghost type .github/workflows/ci.yml #1004: Pull request #143 synchronize by coord-e
1m 21s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 21s
Indexed reasoning on Seq::concat / Seq::subsequence (pcsat) .github/workflows/ci.yml #1003: Commit 8957666 pushed by coord-e
1m 29s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 29s
Complete Phase 1 Seq<T>: empty, singleton, concat, subsequence .github/workflows/ci.yml #1002: Commit 05eb494 pushed by coord-e
1m 19s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 19s
Phase 1: Seq&lt;T&gt; ghost type .github/workflows/ci.yml #1001: Pull request #143 opened by coord-e
1m 17s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 17s
Add Seq<T> indexing via s[i] .github/workflows/ci.yml #1000: Commit 646ad43 pushed by coord-e
1m 24s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 24s
Add unit-test repro for issue #128 function/parameter subtyping .github/workflows/ci.yml #999: Commit 85ed760 pushed by coord-e
1m 42s claude/elegant-goodall-7jlck0
claude/elegant-goodall-7jlck0
1m 42s