Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
263 workflow runs
263 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Assumption = rty::Formula<PlaceTypeVar> .github/workflows/ci.yml #34: Commit 43ba71b pushed by coord-e
1m 19s unify-formula
unify-formula
1m 19s
Introduce PlaceTypeBuilder to simplify PlaceType construction .github/workflows/ci.yml #33: Commit 5996109 pushed by coord-e
1m 8s refactor-types
refactor-types
1m 8s
Merge pull request #1 from coord-e/more-annot .github/workflows/ci.yml #32: Commit b1c638c pushed by coord-e
1m 23s main
main
1m 23s
Fix CI .github/workflows/ci.yml #31: Commit 30ed351 pushed by coord-e
57s more-annot
more-annot
57s
Fix CI .github/workflows/ci.yml #30: Commit 9631133 pushed by coord-e
56s more-annot
more-annot
56s
Fix CI .github/workflows/ci.yml #29: Commit 873eb00 pushed by coord-e
55s more-annot
more-annot
55s
clippy / rustfmt .github/workflows/ci.yml #28: Commit 88f509b pushed by coord-e
1m 12s more-annot
more-annot
1m 12s
Parse tuples in annotations .github/workflows/ci.yml #27: Commit 3c94c78 pushed by coord-e
1m 26s more-annot
more-annot
1m 26s
Explain annotation and configuration in README .github/workflows/ci.yml #26: Commit 914bedd pushed by coord-e
1m 47s main
main
1m 47s
add paper reference in README .github/workflows/ci.yml #25: Commit a4ef1f5 pushed by coord-e
1m 20s main
main
1m 20s
fix some in README .github/workflows/ci.yml #24: Commit 56192e2 pushed by coord-e
1m 21s main
main
1m 21s
Merge branch 'enum2' .github/workflows/ci.yml #23: Commit 34bde3b pushed by coord-e
2m 1s main
main
2m 1s
recursively drop references inside enum .github/workflows/ci.yml #22: Commit d868517 pushed by coord-e
2m 2s enum2
enum2
2m 2s
ProTip! You can narrow down the results and go further in time using created:<2025-03-30 or the other filters available.