Skip to content

Actions: madeve-unipi/BonnAnalysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

code made slightly faster + some changes .github/workflows/push.yml #11: Commit 8bbf6cf pushed by madeve-unipi
July 27, 2024 09:40 20m 55s master
master
July 27, 2024 09:40 20m 55s
style changes .github/workflows/push.yml #10: Commit 136165d pushed by madeve-unipi
July 19, 2024 14:40 20m 29s master
master
July 19, 2024 14:40 20m 29s
leanok blueprint .github/workflows/push.yml #9: Commit fb7a373 pushed by madeve-unipi
July 12, 2024 14:45 21m 2s master
master
July 12, 2024 14:45 21m 2s
Finished proof three lines lemma - all cases .github/workflows/push.yml #8: Commit f86b112 pushed by madeve-unipi
July 11, 2024 09:14 18m 44s master
master
July 11, 2024 09:14 18m 44s
Finished proof on the strip + all previous cases; simplified several … .github/workflows/push.yml #7: Commit 28f2e43 pushed by madeve-unipi
July 10, 2024 16:15 18m 55s master
master
July 10, 2024 16:15 18m 55s
Some fixes + removed redundancies (#36) .github/workflows/push.yml #6: Commit 0f3b43c pushed by madeve-unipi
July 10, 2024 15:55 21m 41s master
master
July 10, 2024 15:55 21m 41s
Merge remote-tracking branch 'upstream/master' .github/workflows/push.yml #5: Commit 87629df pushed by madeve-unipi
July 4, 2024 12:27 2m 43s master
master
July 4, 2024 12:27 2m 43s
More work + cleanup .github/workflows/push.yml #4: Commit 6af7475 pushed by madeve-unipi
July 4, 2024 12:20 1m 1s master
master
July 4, 2024 12:20 1m 1s
Work .github/workflows/push.yml #3: Commit 727a6f8 pushed by madeve-unipi
July 2, 2024 18:43 46s master
master
July 2, 2024 18:43 46s
More work .github/workflows/push.yml #2: Commit fd54572 pushed by madeve-unipi
June 30, 2024 22:12 23m 20s master
master
June 30, 2024 22:12 23m 20s
More work .github/workflows/push.yml #1: Commit fabf1d2 pushed by madeve-unipi
June 21, 2024 08:55 23m 23s master
master
June 21, 2024 08:55 23m 23s