Skip to content

Actions: coord-e/thrust

Actions

.github/workflows/ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,234 workflow runs
1,234 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
Support Rust syntax in thrust::predicate bodies .github/workflows/ci.yml #1265: Pull request #114 synchronize by coord-e
1m 26s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
1m 26s
Support Rust syntax in thrust::predicate bodies .github/workflows/ci.yml #1264: Commit fe79724 pushed by coord-e
1m 26s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
1m 26s
Drop old annotation parser implementation (#117) .github/workflows/ci.yml #1263: Commit af7cd99 pushed by coord-e
1m 44s main
main
1m 44s
Don't re-drop partially-moved sub-places (fix #121, #122) .github/workflows/ci.yml #1262: Pull request #155 synchronize by coord-e
1m 29s claude/pr-154-mergeable-vt1l0f
claude/pr-154-mergeable-vt1l0f
1m 29s
Fix double-drop of partially-moved locals .github/workflows/ci.yml #1261: Commit 4c88826 pushed by coord-e
1m 45s claude/pr-154-mergeable-vt1l0f
claude/pr-154-mergeable-vt1l0f
1m 45s
Fix double-drop of partially-moved locals .github/workflows/ci.yml #1260: Commit e5b8321 pushed by coord-e
1m 32s claude/pr-154-mergeable-vt1l0f
claude/pr-154-mergeable-vt1l0f
1m 32s
Drop old annotation parser implementation .github/workflows/ci.yml #1259: Pull request #117 synchronize by coord-e
1m 31s claude/beautiful-hypatia-u542oh
claude/beautiful-hypatia-u542oh
1m 31s
Apply cargo fmt .github/workflows/ci.yml #1258: Commit bc45661 pushed by coord-e
1m 28s claude/beautiful-hypatia-u542oh
claude/beautiful-hypatia-u542oh
1m 28s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #1257: Pull request #93 synchronize by coeff-aij
1m 34s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 34s
Merge pull request #171 from coord-e/coord-e/exclude-zero-is_pos_neg .github/workflows/ci.yml #1256: Commit 5648fd2 pushed by coord-e
1m 26s main
main
1m 26s
Return false for zero in i32::{is_positive,is_negative} specs .github/workflows/ci.yml #1255: Pull request #171 opened by coord-e
1m 32s coord-e/exclude-zero-is_pos_neg
coord-e/exclude-zero-is_pos_neg
1m 32s
Return false for zero in i32::{is_positive,is_negative} specs .github/workflows/ci.yml #1254: Commit a1fc71a pushed by coord-e
1m 32s coord-e/exclude-zero-is_pos_neg
coord-e/exclude-zero-is_pos_neg
1m 32s
fixup! Fix enum-drop of aggregate mutable-reference fields .github/workflows/ci.yml #1253: Commit 870656d pushed by coord-e
1m 33s claude/review-commit-d44c6b8-hy774d
claude/review-commit-d44c6b8-hy774d
1m 33s
Fix enum-drop of aggregate mutable-reference fields (#167) .github/workflows/ci.yml #1252: Commit a36a534 pushed by coord-e
1m 24s main
main
1m 24s
Fix enum-drop of aggregate mutable-reference fields .github/workflows/ci.yml #1251: Pull request #167 synchronize by coord-e
1m 26s claude/review-commit-d44c6b8-hy774d
claude/review-commit-d44c6b8-hy774d
1m 26s
Support FnParam for closure-typed function parameters in invariants (… .github/workflows/ci.yml #1250: Commit aa0d081 pushed by coord-e
1m 36s main
main
1m 36s
Support FnParam for closure-typed function parameters in invariants .github/workflows/ci.yml #1249: Pull request #169 synchronize by coord-e
1m 25s claude/fnparam-closure-type-9yialw
claude/fnparam-closure-type-9yialw
1m 25s
fixup! Lower closure type params nested inside FnParam and other paths .github/workflows/ci.yml #1248: Commit 04547f1 pushed by coord-e
1m 33s claude/fnparam-closure-type-9yialw
claude/fnparam-closure-type-9yialw
1m 33s
Fix enum-drop of aggregate mutable-reference fields .github/workflows/ci.yml #1247: Pull request #167 synchronize by coord-e
2m 21s claude/review-commit-d44c6b8-hy774d
claude/review-commit-d44c6b8-hy774d
2m 21s
Fix enum-drop of aggregate mutable-reference fields .github/workflows/ci.yml #1246: Commit 95d9860 pushed by coord-e
2m 20s claude/review-commit-d44c6b8-hy774d
claude/review-commit-d44c6b8-hy774d
2m 20s
Fix enum-drop of aggregate mutable-reference fields .github/workflows/ci.yml #1245: Pull request #167 synchronize by coord-e
3m 22s claude/review-commit-d44c6b8-hy774d
claude/review-commit-d44c6b8-hy774d
3m 22s
Fix enum-drop of aggregate mutable-reference fields .github/workflows/ci.yml #1244: Commit fa290f1 pushed by coord-e
1m 54s claude/review-commit-d44c6b8-hy774d
claude/review-commit-d44c6b8-hy774d
1m 54s
Support FnParam for closure-typed function parameters in invariants .github/workflows/ci.yml #1243: Pull request #169 opened by coord-e
1m 27s claude/fnparam-closure-type-9yialw
claude/fnparam-closure-type-9yialw
1m 27s
Lower closure type params nested inside FnParam and other paths .github/workflows/ci.yml #1242: Commit 1865775 pushed by coord-e
1m 36s claude/fnparam-closure-type-9yialw
claude/fnparam-closure-type-9yialw
1m 36s
Lower closure type params nested inside FnParam and other paths .github/workflows/ci.yml #1241: Commit 9eb992f pushed by coord-e
1m 25s claude/fnparam-closure-type-9yialw
claude/fnparam-closure-type-9yialw
1m 25s