Skip to content

Actions: fpvandoorn/BonnAnalysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Golf a few proofs .github/workflows/push_pr.yml #68: Pull request #42 synchronize by pitmonticone
July 22, 2024 08:21 2m 41s golf-ComplexInterpolation
golf-ComplexInterpolation
July 22, 2024 08:21 2m 41s
Golf a few proofs .github/workflows/push_pr.yml #67: Pull request #42 synchronize by pitmonticone
July 22, 2024 08:02 2m 48s golf-ComplexInterpolation
golf-ComplexInterpolation
July 22, 2024 08:02 2m 48s
Golf a few proofs .github/workflows/push_pr.yml #66: Pull request #42 synchronize by pitmonticone
July 22, 2024 00:53 2m 42s golf-ComplexInterpolation
golf-ComplexInterpolation
July 22, 2024 00:53 2m 42s
Golf a few proofs .github/workflows/push_pr.yml #65: Pull request #42 synchronize by pitmonticone
July 22, 2024 00:53 2m 42s golf-ComplexInterpolation
golf-ComplexInterpolation
July 22, 2024 00:53 2m 42s
Speed up CI .github/workflows/push_pr.yml #64: Pull request #41 synchronize by pitmonticone
July 22, 2024 00:27 4m 40s gh-actions
gh-actions
July 22, 2024 00:27 4m 40s
Golf a few proofs .github/workflows/push_pr.yml #63: Pull request #42 opened by pitmonticone
July 21, 2024 23:20 2m 43s golf-ComplexInterpolation
golf-ComplexInterpolation
July 21, 2024 23:20 2m 43s
Speed up CI .github/workflows/push_pr.yml #62: Pull request #41 opened by pitmonticone
July 21, 2024 23:19 4m 34s gh-actions
gh-actions
July 21, 2024 23:19 4m 34s
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
Three lines lemma on any strip from the Mathlib version on the unit strip .github/workflows/push_pr.yml #61: Pull request #38 synchronize by madeve-unipi
July 19, 2024 14:40 2m 45s madeve-unipi:master
madeve-unipi:master
July 19, 2024 14:40 2m 45s
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
Distributions .github/workflows/push_pr.yml #60: Pull request #40 opened by InftyCat
July 19, 2024 08:26 2m 45s InftyCat:Distributions
InftyCat:Distributions
July 19, 2024 08:26 2m 45s
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
Proved a case for RT .github/workflows/push_pr.yml #59: Pull request #39 opened by KunhongDu
July 12, 2024 15:48 3m 46s KunhongDu:RT
KunhongDu:RT
July 12, 2024 15:48 3m 46s
Three lines lemma on any strip from the Mathlib version on the unit strip .github/workflows/push_pr.yml #58: Pull request #38 opened by madeve-unipi
July 12, 2024 14:51 2m 44s madeve-unipi:master
madeve-unipi:master
July 12, 2024 14:51 2m 44s
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
Finished proof three lines lemma, all cases; simplified several proofs .github/workflows/push_pr.yml #57: Pull request #37 synchronize by madeve-unipi
July 11, 2024 09:14 2m 48s madeve-unipi:master
madeve-unipi:master
July 11, 2024 09:14 2m 48s
Finished proof three lines lemma, all cases; simplified several proofs .github/workflows/push_pr.yml #56: Pull request #37 opened by madeve-unipi
July 10, 2024 16:46 3m 2s madeve-unipi:master
madeve-unipi:master
July 10, 2024 16:46 3m 2s
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
Proved lemma 3-3 (#35) .github/workflows/push.yml #114: Commit b6cd0c7 pushed by fpvandoorn
July 10, 2024 10:12 19m 19s master
master
July 10, 2024 10:12 19m 19s
Some fixes + removed redundancies .github/workflows/push_pr.yml #55: Pull request #36 opened by madeve-unipi
July 9, 2024 17:57 2m 49s madeve-unipi:complexinter_pr2
madeve-unipi:complexinter_pr2
July 9, 2024 17:57 2m 49s
Sketch proof missing case (#31) .github/workflows/push.yml #113: Commit ee1c963 pushed by fpvandoorn
July 8, 2024 19:44 19m 28s master
master
July 8, 2024 19:44 19m 28s
Sketch proof missing case .github/workflows/push_pr.yml #54: Pull request #31 synchronize by fpvandoorn
July 8, 2024 19:43 2m 57s madeve-unipi:complexinter_pr
madeve-unipi:complexinter_pr
July 8, 2024 19:43 2m 57s