Skip to content

Actions: fpvandoorn/BonnAnalysis

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove unnecessary line in scripts/update_mathlib.sh .github/workflows/push.yml #139: Commit 6f3fb43 pushed by pitmonticone
November 8, 2024 16:31 40m 36s master
master
November 8, 2024 16:31 40m 36s
Update scripts (#52) .github/workflows/push.yml #138: Commit 92592f5 pushed by fpvandoorn
October 9, 2024 16:47 38m 19s master
master
October 9, 2024 16:47 38m 19s
Golf a few proofs (#42) .github/workflows/push.yml #137: Commit 6b486ac pushed by fpvandoorn
August 15, 2024 11:11 9m 33s master
master
August 15, 2024 11:11 9m 33s
Speed up CI (#41) .github/workflows/push.yml #136: Commit 0b365f9 pushed by fpvandoorn
August 14, 2024 15:07 38m 30s master
master
August 14, 2024 15:07 38m 30s
Fix formatting (#43) .github/workflows/push.yml #135: Commit 8c1eed7 pushed by fpvandoorn
August 14, 2024 14:56 39m 19s master
master
August 14, 2024 14:56 39m 19s
move some files to subfolders .github/workflows/push.yml #134: Commit bf77db2 pushed by fpvandoorn
August 14, 2024 14:27 38m 40s master
master
August 14, 2024 14:27 38m 40s
mk_all and remove options .github/workflows/push.yml #133: Commit c19ce17 pushed by fpvandoorn
August 14, 2024 13:42 39m 20s master
master
August 14, 2024 13:42 39m 20s
Distributions (#50) .github/workflows/push.yml #132: Commit 76c2f66 pushed by fpvandoorn
August 14, 2024 13:39 20m 48s master
master
August 14, 2024 13:39 20m 48s
Golf Hadamard.lean (#44) .github/workflows/push.yml #131: Commit 646d268 pushed by fpvandoorn
August 14, 2024 13:27 20m 46s master
master
August 14, 2024 13:27 20m 46s
Prove prop 6.13 [Folland] (#51) .github/workflows/push.yml #130: Commit 8b60e48 pushed by fpvandoorn
August 14, 2024 13:06 21m 25s master
master
August 14, 2024 13:06 21m 25s
speed up some proofs; some changes (#48) .github/workflows/push.yml #129: Commit ec4a410 pushed by fpvandoorn
August 14, 2024 13:03 20m 33s master
master
August 14, 2024 13:03 20m 33s
Plancharel (#47) .github/workflows/push.yml #128: Commit ac837f9 pushed by fpvandoorn
August 14, 2024 13:02 21m 4s master
master
August 14, 2024 13:02 21m 4s
Create dependabot (#49) .github/workflows/push.yml #127: Commit ec564e9 pushed by fpvandoorn
July 29, 2024 14:50 19m 55s master
master
July 29, 2024 14:50 19m 55s
Bump actions (#46) .github/workflows/push.yml #126: Commit bd5dd48 pushed by fpvandoorn
July 27, 2024 12:32 20m 8s master
master
July 27, 2024 12:32 20m 8s
Enrich .gitignore (#45) .github/workflows/push.yml #125: Commit ec6f5d9 pushed by fpvandoorn
July 27, 2024 12:31 21m 28s master
master
July 27, 2024 12:31 21m 28s
Bump actions .github/workflows/push.yml #124: Commit 6628322 pushed by pitmonticone
July 26, 2024 12:50 20m 1s bump-actions
bump-actions
July 26, 2024 12:50 20m 1s
Three lines lemma on any strip from the Mathlib version on the unit s… .github/workflows/push.yml #123: Commit 72d6a5d pushed by fpvandoorn
July 22, 2024 10:55 21m 41s master
master
July 22, 2024 10:55 21m 41s
Remove checkdecls step .github/workflows/push.yml #122: Commit 6084d87 pushed by pitmonticone
July 21, 2024 22:22 8m 16s gh-actions
gh-actions
July 21, 2024 22:22 8m 16s
Speed up CI .github/workflows/push.yml #121: Commit 454592c pushed by pitmonticone
July 21, 2024 20:12 20m 23s gh-actions
gh-actions
July 21, 2024 20:12 20m 23s
shorten proof using fun_prop .github/workflows/push.yml #120: Commit 414bc8c pushed by fpvandoorn
July 19, 2024 09:55 21m 1s master
master
July 19, 2024 09:55 21m 1s
some more vscode options .github/workflows/push.yml #119: Commit 80a40a9 pushed by fpvandoorn
July 19, 2024 08:49 20m 20s master
master
July 19, 2024 08:49 20m 20s
Proved a case for RT (#39) .github/workflows/push.yml #118: Commit 7d406cc pushed by fpvandoorn
July 15, 2024 15:06 20m 28s master
master
July 15, 2024 15:06 20m 28s
move HasStrongType to a separate file .github/workflows/push.yml #117: Commit d1ef2ea pushed by fpvandoorn
July 12, 2024 08:38 20m 2s master
master
July 12, 2024 08:38 20m 2s
Finished proof three lines lemma, all cases; simplified several proof… .github/workflows/push.yml #116: Commit a9f19ff pushed by fpvandoorn
July 11, 2024 12:13 18m 46s master
master
July 11, 2024 12:13 18m 46s
Some fixes + removed redundancies (#36) .github/workflows/push.yml #115: Commit 0f3b43c pushed by fpvandoorn
July 10, 2024 10:12 18m 42s master
master
July 10, 2024 10:12 18m 42s