Skip to content

Actions: hhu-adam/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: remove unused lemmas from a non-terminal simp (#5229) Nix CI #13: Commit 4f04112 pushed by joneugster
September 2, 2024 07:18 43m 45s master
master
September 2, 2024 07:18 43m 45s
fix: ignore implementationDetail hyps in rename_i (#5183) Nix CI #12: Commit 4436638 pushed by joneugster
August 27, 2024 15:16 38m 56s master
master
August 27, 2024 15:16 38m 56s
feat: add Bitvec.ofInt_ofNat (#5081) Nix CI #11: Commit c6feffa pushed by joneugster
August 26, 2024 13:42 49m 53s master
master
August 26, 2024 13:42 49m 53s
feat: use save-always in cache action (#5010) Nix CI #10: Commit 74f9dea pushed by joneugster
August 13, 2024 10:57 46m 52s master
master
August 13, 2024 10:57 46m 52s
feat: introduce pp.maxSteps (#4556) Nix CI #9: Commit 49249b9 pushed by joneugster
June 25, 2024 08:19 34m 59s master
master
June 25, 2024 08:19 34m 59s
feat: ppOrigin to use MessageData.ofConst (#4362) Nix CI #8: Commit e33c32f pushed by joneugster
June 5, 2024 14:19 34m 46s master
master
June 5, 2024 14:19 34m 46s
test: for flexible reducibility attributes Nix CI #7: Commit 15cfe60 pushed by joneugster
April 29, 2024 10:42 32m 14s master
master
April 29, 2024 10:42 32m 14s
Nix CI Nix CI #6: by joneugster
April 11, 2024 09:07 31m 10s master
master
April 11, 2024 09:07 31m 10s
chore: upstream Std.Util.ExtendedBinders (#3320) Nix CI #5: Commit 329e006 pushed by joneugster
February 14, 2024 14:13 3m 13s master
master
February 14, 2024 14:13 3m 13s
refactor: add helper function evalPropStep (#3252) Nix CI #4: Commit cf092e7 pushed by joneugster
February 5, 2024 12:29 3m 52s master
master
February 5, 2024 12:29 3m 52s
feat: pp.numericTypes option for printing number literals with type… Nix CI #3: Commit 1d8cf38 pushed by joneugster
February 1, 2024 12:13 6m 20s master
master
February 1, 2024 12:13 6m 20s
add doc comments Nix CI #2: Commit 0bc66dc pushed by joneugster
January 26, 2024 17:01 16m 27s master
master
January 26, 2024 17:01 16m 27s
doc: update link target (#3218) Nix CI #1: Commit a524fd4 pushed by joneugster
January 26, 2024 16:25 5m 23s master
master
January 26, 2024 16:25 5m 23s