Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,997 workflow runs
1,997 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 #1676: Pull request #93 synchronize by coeff-aij
6m 35s coeff-aij:forall-sort
coeff-aij:forall-sort
6m 35s
WIP: Give integer values range facts and wrap unchecked arithmetic .github/workflows/ci.yml #1675: Commit c8e04ac pushed by coord-e
3m 45s claude/vibrant-brown-tjmb6h-int-range
claude/vibrant-brown-tjmb6h-int-range
3m 45s
Verify the absence of overflow in checked integer arithmetic .github/workflows/ci.yml #1674: Pull request #280 opened by coord-e
2m 31s claude/vibrant-brown-tjmb6h-checked-arith
claude/vibrant-brown-tjmb6h-checked-arith
2m 31s
Verify the absence of overflow in checked integer arithmetic .github/workflows/ci.yml #1673: Commit c50c17a pushed by coord-e
2m 21s claude/vibrant-brown-tjmb6h-checked-arith
claude/vibrant-brown-tjmb6h-checked-arith
2m 21s
WIP: Wrap integer arithmetic into the operand type's range .github/workflows/ci.yml #1672: Commit 708122d pushed by coord-e
3m 21s claude/vibrant-brown-tjmb6h-wrapping
claude/vibrant-brown-tjmb6h-wrapping
3m 21s
Represent integer terms with arbitrary precision .github/workflows/ci.yml #1671: Pull request #279 opened by coord-e
2m 34s claude/vibrant-brown-tjmb6h-bigint
claude/vibrant-brown-tjmb6h-bigint
2m 34s
Represent integer terms with arbitrary precision .github/workflows/ci.yml #1670: Commit b62d3c7 pushed by coord-e
2m 35s claude/vibrant-brown-tjmb6h-bigint
claude/vibrant-brown-tjmb6h-bigint
2m 35s
Support integer-to-integer casts (#278) .github/workflows/ci.yml #1669: Commit ff4f51a pushed by coord-e
2m 33s main
main
2m 33s
Support integer-to-integer casts (#278) .github/workflows/docs.yml #157: Commit ff4f51a pushed by coord-e
1m 13s main
main
1m 13s
Support integer-to-integer casts .github/workflows/ci.yml #1668: Pull request #278 synchronize by coord-e
2m 17s claude/vibrant-brown-tjmb6h
claude/vibrant-brown-tjmb6h
2m 17s
Clarify how Term::pow2 represents large powers .github/workflows/ci.yml #1667: Commit 4704078 pushed by coord-e
2m 21s claude/vibrant-brown-tjmb6h
claude/vibrant-brown-tjmb6h
2m 21s
Running Copilot Code Review Copilot #67: by Copilot AI
3m 54s claude/vibrant-brown-tjmb6h
claude/vibrant-brown-tjmb6h
3m 54s
Support integer-to-integer casts .github/workflows/ci.yml #1666: Pull request #278 opened by coord-e
2m 36s claude/vibrant-brown-tjmb6h
claude/vibrant-brown-tjmb6h
2m 36s
Support integer-to-integer casts .github/workflows/ci.yml #1665: Commit 7afa45c pushed by coord-e
2m 27s claude/vibrant-brown-tjmb6h
claude/vibrant-brown-tjmb6h
2m 27s
Reflect wrap-around of integer casts in refinements .github/workflows/ci.yml #1664: Commit f6d2216 pushed by coord-e
2m 5s claude/vibrant-brown-tjmb6h
claude/vibrant-brown-tjmb6h
2m 5s
Merge pull request #276 from coord-e/claude/gallant-pasteur-2djvt2 .github/workflows/docs.yml #156: Commit 4a88a5e pushed by coord-e
50s main
main
50s
Merge pull request #276 from coord-e/claude/gallant-pasteur-2djvt2 .github/workflows/ci.yml #1663: Commit 4a88a5e pushed by coord-e
2m 31s main
main
2m 31s
Type scalar constants of struct type .github/workflows/ci.yml #1662: Pull request #276 synchronize by coord-e
2m 15s claude/gallant-pasteur-2djvt2
claude/gallant-pasteur-2djvt2
2m 15s
Stop typing unknown zero-sized constants as unit .github/workflows/ci.yml #1661: Commit a5c4cd5 pushed by coord-e
2m 10s claude/gallant-pasteur-2djvt2
claude/gallant-pasteur-2djvt2
2m 10s
Type scalar constants of struct type .github/workflows/ci.yml #1660: Pull request #276 synchronize by coord-e
1m 57s claude/gallant-pasteur-2djvt2
claude/gallant-pasteur-2djvt2
1m 57s
Build zero-sized constants following their type .github/workflows/ci.yml #1659: Commit 631eea2 pushed by coord-e
1m 45s claude/gallant-pasteur-2djvt2
claude/gallant-pasteur-2djvt2
1m 45s
Merge pull request #277 from coord-e/claude/uint-const-unsigned .github/workflows/docs.yml #155: Commit 262fba6 pushed by coord-e
53s main
main
53s
Merge pull request #277 from coord-e/claude/uint-const-unsigned .github/workflows/ci.yml #1658: Commit 262fba6 pushed by coord-e
2m 17s main
main
2m 17s
Running Copilot Code Review Copilot #66: by Copilot AI
1m 38s claude/uint-const-unsigned
claude/uint-const-unsigned
1m 38s
Read unsigned integer constants as unsigned .github/workflows/ci.yml #1657: Pull request #277 synchronize by coord-e
2m 33s claude/uint-const-unsigned
claude/uint-const-unsigned
2m 33s