Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,193 workflow runs
1,193 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
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
Assume parameter preconditions in structural function subtyping .github/workflows/ci.yml #998: Commit 3ff1838 pushed by coord-e
1m 23s claude/elegant-goodall-7jlck0
claude/elegant-goodall-7jlck0
1m 23s
fix: send SIGTERM before SIGKILL on solver timeout to allow graceful … .github/workflows/ci.yml #997: Commit 2791334 pushed by coord-e
1m 22s claude/practical-shannon-207r2a
claude/practical-shannon-207r2a
1m 22s
Merge pull request #141 from coord-e/coord-e/forall .github/workflows/ci.yml #996: Commit 70846d7 pushed by coord-e
1m 24s main
main
1m 24s
Merge pull request #141 from coord-e/coord-e/forall .github/workflows/docs.yml #96: Commit 70846d7 pushed by coord-e
50s main
main
50s
Running Copilot Code Review Copilot #23: by Copilot AI
4m 39s coord-e/forall
coord-e/forall
4m 39s
Support forall in annotation .github/workflows/ci.yml #995: Pull request #141 opened by coord-e
1m 32s coord-e/forall
coord-e/forall
1m 32s
Support forall in annotation .github/workflows/ci.yml #994: Commit 78631c8 pushed by coord-e
1m 16s coord-e/forall
coord-e/forall
1m 16s
Support forall in annotation .github/workflows/ci.yml #993: Commit c28cfc5 pushed by coord-e
1m 26s coord-e/forall
coord-e/forall
1m 26s
Merge pull request #115 from coord-e/claude/zealous-lamport-7nSnV .github/workflows/docs.yml #95: Commit 40d40e3 pushed by coord-e
48s main
main
48s
Merge pull request #115 from coord-e/claude/zealous-lamport-7nSnV .github/workflows/ci.yml #992: Commit 40d40e3 pushed by coord-e
1m 19s main
main
1m 19s
Support logical implication (==>) in annotations .github/workflows/ci.yml #991: Pull request #115 synchronize by coord-e
1m 24s claude/zealous-lamport-7nSnV
claude/zealous-lamport-7nSnV
1m 24s
Recurse Self/self replacement into formula! .github/workflows/ci.yml #990: Commit 525237d pushed by coord-e
1m 20s claude/zealous-lamport-7nSnV
claude/zealous-lamport-7nSnV
1m 20s
Merge pull request #139 from coord-e/coord-e/closure-mut-receiver .github/workflows/docs.yml #94: Commit 0e4de03 pushed by coord-e
46s main
main
46s
Merge pull request #139 from coord-e/coord-e/closure-mut-receiver .github/workflows/ci.yml #989: Commit 0e4de03 pushed by coord-e
1m 14s main
main
1m 14s
Several bug fixes around closure receivers in annotations .github/workflows/ci.yml #988: Pull request #139 synchronize by coord-e
1m 19s coord-e/closure-mut-receiver
coord-e/closure-mut-receiver
1m 19s
Extract closure type inside & or &mut .github/workflows/ci.yml #987: Commit 313cd24 pushed by coord-e
1m 20s coord-e/closure-mut-receiver
coord-e/closure-mut-receiver
1m 20s