Skip to content

Actions: josher8a/rotorise

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 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
docs: "generator" means the model's generators across the tree CI #32: Commit 7bc6a78 pushed by josher8a
7m 22s feat/codec
feat/codec
7m 22s
refactor(calculus): Dynamo/Analysis/Meet.lean is Dynamo/Analysis/Disj… CI #31: Commit 8bf8045 pushed by josher8a
16m 57s feat/codec
feat/codec
16m 57s
feat(lean): the emitter prints legacy in a quantified verdict CI #30: Commit b674b87 pushed by josher8a
4m 30s feat/codec
feat/codec
4m 30s
0.3.6 CI #29: Commit 6062b41 pushed by josher8a
45s v0.3.6
v0.3.6
45s
0.3.6 CI #28: Commit 6062b41 pushed by josher8a
29s main
main
29s
docs: rebuild CHANGELOG.md from git tags CI #27: Commit f9ce9a1 pushed by josher8a
25s main
main
25s
fix: 3-tuple defaults accept narrowed transform parameter types CI #26: Commit f305da7 pushed by josher8a
41s v0.3.5
v0.3.5
41s
fix: 3-tuple defaults accept narrowed transform parameter types CI #25: Commit f305da7 pushed by josher8a
25s main
main
25s
fix: 3-tuple defaults accept narrowed transform parameter types CI #24: Commit 064b5ea pushed by josher8a
26s main
main
26s
0.3.4 CI #23: Commit 73b556d pushed by josher8a
43s v0.3.4
v0.3.4
43s
0.3.4 CI #22: Commit 73b556d pushed by josher8a
25s main
main
25s
fix: make Exact<> distributive over union Shape keys (#4) CI #21: Commit 555decb pushed by josher8a
25s main
main
25s
fix: make Exact<> distributive over union Shape keys CI #20: Pull request #4 synchronize by josher8a
28s fix/exact-inference
fix/exact-inference
28s
fix: make Exact<> distributive over union Shape keys CI #19: Pull request #4 opened by josher8a
25s fix/exact-inference
fix/exact-inference
25s
0.3.3 CI #18: Commit f3d3767 pushed by josher8a
42s v0.3.3
v0.3.3
42s
0.3.3 CI #17: Commit f3d3767 pushed by josher8a
29s main
main
29s
0.3.3 CI #16: Commit 6ff119b pushed by josher8a
40s v0.3.3
v0.3.3
40s
0.3.3 CI #15: Commit 6ff119b pushed by josher8a
22s main
main
22s
0.3.3 CI #14: Commit d0d9582 pushed by josher8a
39s v0.3.3
v0.3.3
39s
0.3.3 CI #13: Commit d0d9582 pushed by josher8a
22s main
main
22s
0.3.3 CI #12: Commit 12d3970 pushed by josher8a
26s main
main
26s
0.3.3 CI #11: Commit 12d3970 pushed by josher8a
15s v0.3.3
v0.3.3
15s
fix ci CI #10: Commit 9b33ecf pushed by josher8a
25s main
main
25s
0.3.2 CI #9: Commit c995e58 pushed by josher8a
44s v0.3.2
v0.3.2
44s
0.3.2 CI #8: Commit c995e58 pushed by josher8a
24s main
main
24s