Workflow runs · FWuermse/grw · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

66 workflow runs

66 workflow runs

feat: submission Lean Action CI #105: Commit c053406 pushed by FWuermse

2m 11s docs

docs

2m 11s

chore: create LICENSE Lean Action CI #104: Commit 2227e44 pushed by FWuermse

17s main

main

17s

chore: copyright Lean Action CI #103: Commit 590b1cf pushed by FWuermse

27s main

main

27s

chore: update readme Lean Action CI #102: Commit 486ce90 pushed by FWuermse

26s main

main

26s

fix: formatting Lean Action CI #101: Commit 067b172 pushed by FWuermse

26s docs

docs

26s

feat: add typst pipeline Lean Action CI #99: Commit b9cab2c pushed by FWuermse

19s docs

docs

19s

fix: wording Lean Action CI #97: Commit 8d1bac3 pushed by FWuermse

1m 10s docs

docs

1m 10s

fix: more commas Lean Action CI #96: Commit 1660043 pushed by FWuermse

1m 21s docs

docs

1m 21s

fix: commas Lean Action CI #95: Commit 067572a pushed by FWuermse

1m 15s docs

docs

1m 15s

fix: sequence of theorems by priority Lean Action CI #94: Commit d5d5a0b pushed by FWuermse

39s main

main

39s

chore: complete migration of tagged theorems for the proof search Lean Action CI #93: Commit 31e9b8b pushed by FWuermse

26s main

main

26s

fix: refs Lean Action CI #92: Commit 2e56430 pushed by FWuermse

1m 18s docs

docs

1m 18s

chore: styling Lean Action CI #91: Commit d45ba4a pushed by FWuermse

1m 12s docs

docs

1m 12s

chore: update headings Lean Action CI #90: Commit f231491 pushed by FWuermse

1m 15s docs

docs

1m 15s

doc: wording changes Lean Action CI #89: Commit 4ac355c pushed by FWuermse

1m 24s docs

docs

1m 24s

fix: typos Lean Action CI #88: Commit efc0920 pushed by FWuermse

1m 11s docs

docs

1m 11s

fix: section names Lean Action CI #87: Commit 0a02866 pushed by FWuermse

1m 12s docs

docs

1m 12s

fix: typos and spelling mistakes Lean Action CI #86: Commit f402ea2 pushed by FWuermse

1m 19s docs

docs

1m 19s

fix: more advisor feedback Lean Action CI #85: Commit 8d2aaed pushed by FWuermse

1m 15s docs

docs

1m 15s

doc: background and partial algorithm fix Lean Action CI #84: Commit 27486ec pushed by FWuermse

1m 12s docs

docs

1m 12s

test: fix constraint order Lean Action CI #83: Commit 99c7527 pushed by FWuermse

28s main

main

28s

doc: new introduction Lean Action CI #82: Commit ec04518 pushed by FWuermse

1m 14s docs

docs

1m 14s

test: simplify tests Lean Action CI #81: Commit 651f441 pushed by FWuermse

34s main

main

34s

test: test for set equivalence Lean Action CI #80: Commit ff8ab57 pushed by FWuermse

1m 31s main

main

1m 31s

fix: bug with constraint generation Lean Action CI #79: Commit d77b844 pushed by FWuermse

31s main

main

31s