Skip to content

Actions: leanprover/lean4wip

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: resolve generalized field notation using all parents (#5770) Nix CI #5: Commit 465ed8a pushed by jtristan
October 31, 2024 23:16 53m 12s master
master
October 31, 2024 23:16 53m 12s
chore: fix typo in trace.split.failure error message (#4431) Nix CI #4: Commit bedcbfc pushed by jtristan
June 12, 2024 15:14 19m 5s master
master
June 12, 2024 15:14 19m 5s
chore: build Lake again Nix CI #3: Commit 7b72458 pushed by jtristan
June 7, 2024 12:40 31m 7s master
master
June 7, 2024 12:40 31m 7s
fix: variable must execute pending tactics and elaboration problems… Nix CI #2: Commit 0a0f1d7 pushed by jtristan
June 6, 2024 13:52 26m 51s master
master
June 6, 2024 13:52 26m 51s
feat: getLsb_sshiftRight (#4179) Nix CI #1: Commit 81f5b07 pushed by jtristan
June 3, 2024 13:04 34m 7s master
master
June 3, 2024 13:04 34m 7s