Skip to content

Actions: hhu-adam/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
3 workflow run results
3 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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