Skip to content

Actions: tchaumeny/KleeneTree

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Weak Konig Lemma Lean Action CI #7: Commit c6b8f73 pushed by tchaumeny
14m 55s master
master
14m 55s
Update Dependencies Update Dependencies #1: Manually run by tchaumeny
3m 59s master
master
3m 59s
Lean Action CI Lean Action CI #6: Manually run by tchaumeny
2m 23s master
master
2m 23s
Fix lakefile.toml Lean Action CI #5: Commit 1c46e01 pushed by tchaumeny
14m 27s master
master
14m 27s
Define Kleene tree and main theorems Lean Action CI #4: Commit 212f956 pushed by tchaumeny
1m 53s master
master
1m 53s
Define Kleene tree and main theorems Create Release #2: Commit 212f956 pushed by tchaumeny
9s master
master
9s
Define Kleene tree and main theorems Create Release #1: Commit d41e44d pushed by tchaumeny
8s master
master
8s
Define Kleene tree and main theorems Lean Action CI #3: Commit d41e44d pushed by tchaumeny
2m 22s master
master
2m 22s
Rm unused folder Lean Action CI #2: Commit 1acec5d pushed by tchaumeny
2m 25s master
master
2m 25s
Rm unused folder Lean Action CI #1: Commit 8ccbd9e pushed by tchaumeny
2m 41s master
master
2m 41s