Skip to content

Actions: wwylele/MaximalField

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update Create Release #2: Commit f516fa7 pushed by wwylele
12s master
master
12s
update Lean Action CI #12: Commit f516fa7 pushed by wwylele
1h 42m 50s master
master
1h 42m 50s
update Lean Action CI #11: Commit a5d92ef pushed by wwylele
1h 46m 0s master
master
1h 46m 0s
update Create Release #1: Commit a5d92ef pushed by wwylele
13s master
master
13s
rename Lean Action CI #10: Commit 51668b3 pushed by wwylele
1h 43m 23s master
master
1h 43m 23s
theorem 4 Lean Action CI #9: Commit d358cfa pushed by wwylele
1h 42m 4s master
master
1h 42m 4s
finish theorem 2, 3 Lean Action CI #8: Commit bce0a19 pushed by wwylele
1h 40m 14s master
master
1h 40m 14s
immediate Lean Action CI #7: Commit b0dd8eb pushed by wwylele
1h 41m 4s master
master
1h 41m 4s
duplicate Lean Action CI #6: Commit 4fa9259 pushed by wwylele
1h 38m 43s master
master
1h 38m 43s
vAlg Lean Action CI #5: Commit 0847ae8 pushed by wwylele
1h 24m 48s master
master
1h 24m 48s
looong Lean Action CI #4: Commit 12fd6a9 pushed by wwylele
1h 40m 57s master
master
1h 40m 57s
lemma4 Lean Action CI #3: Commit aa3be97 pushed by wwylele
1h 25m 5s master
master
1h 25m 5s
update Lean Action CI #2: Commit 89f348b pushed by wwylele
1h 44m 27s master
master
1h 44m 27s
hmmmm Lean Action CI #1: Commit dff0e83 pushed by wwylele
1h 42m 10s master
master
1h 42m 10s