Skip to content

Actions: mhuisi/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
12 workflow runs
12 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
chore: CI: build everything with Lake (#13721) Actionlint #14: Commit ef2dc0f pushed by mhuisi
1m 18s master
master
1m 18s
feat: order instances for string positions (#12641) Actionlint #13: Commit 71fad35 pushed by mhuisi
26s master
master
26s
fix: use target type's instances in delta deriving (#12339) Actionlint #12: Commit 5c7a508 pushed by mhuisi
48s master
master
48s
perf: fold Task.get (Task.pure x) to just x (#12446) Actionlint #11: Commit d9cea67 pushed by mhuisi
44s master
master
44s
chore: lemmas for basic types (#12305) Actionlint #10: Commit 35852a9 pushed by mhuisi
32s master
master
32s
refactor: rename Iter(M).count to Iter(M).length (#12210) Actionlint #9: Commit e7b6bd6 pushed by mhuisi
29s master
master
29s
feat: add mkBackwardRuleFromExpr (#12205) Actionlint #8: Commit 9e18eea pushed by mhuisi
27s master
master
27s
doc: clarify release notes title format requirements (#12182) Actionlint #7: Commit f11fffb pushed by mhuisi
35s master
master
35s
feat: Fin and Char ranges (#12058) Actionlint #6: Commit 69b058d pushed by mhuisi
51s master
master
51s
feat: handle over/under-applied functions in Sym.simp (#11999) Actionlint #5: Commit 3dfd125 pushed by mhuisi
54s master
master
54s
chore: update stage0 Actionlint #4: Commit c9b8508 pushed by mhuisi
47s master
master
47s
refactor: make MatchEqs a leaf module (#11493) Actionlint #3: Commit 54fbe93 pushed by mhuisi
1m 13s master
master
1m 13s