Skip to content

Actions: hhu-adam/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: remove unused lemmas from a non-terminal simp (#5229) Actionlint #10: Commit 4f04112 pushed by joneugster
September 2, 2024 07:18 27s master
master
September 2, 2024 07:18 27s
feat: add Bitvec.ofInt_ofNat (#5081) Actionlint #9: Commit c6feffa pushed by joneugster
August 26, 2024 13:42 2m 48s master
master
August 26, 2024 13:42 2m 48s
feat: use save-always in cache action (#5010) Actionlint #8: Commit 74f9dea pushed by joneugster
August 13, 2024 10:57 2m 48s master
master
August 13, 2024 10:57 2m 48s
feat: introduce pp.maxSteps (#4556) Actionlint #7: Commit 49249b9 pushed by joneugster
June 25, 2024 08:19 25s master
master
June 25, 2024 08:19 25s
feat: ppOrigin to use MessageData.ofConst (#4362) Actionlint #6: Commit e33c32f pushed by joneugster
June 5, 2024 14:19 40s master
master
June 5, 2024 14:19 40s
test: for flexible reducibility attributes Actionlint #5: Commit 15cfe60 pushed by joneugster
April 29, 2024 10:42 36s master
master
April 29, 2024 10:42 36s
Actionlint Actionlint #4: by joneugster
April 11, 2024 09:07 49s master
master
April 11, 2024 09:07 49s
refactor: add helper function evalPropStep (#3252) Actionlint #3: Commit cf092e7 pushed by joneugster
February 5, 2024 12:29 34s master
master
February 5, 2024 12:29 34s
feat: pp.numericTypes option for printing number literals with type… Actionlint #2: Commit 1d8cf38 pushed by joneugster
February 1, 2024 12:13 35s master
master
February 1, 2024 12:13 35s
doc: update link target (#3218) Actionlint #1: Commit a524fd4 pushed by joneugster
January 26, 2024 16:25 27s master
master
January 26, 2024 16:25 27s