Skip to content

Actions: fpvandoorn/BonnAnalysis

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update scripts
.github/workflows/push_pr.yml #97: Pull request #52 opened by pitmonticone
October 9, 2024 11:37 4m 53s pitmonticone/scripts
October 9, 2024 11:37 4m 53s
Golf a few proofs
.github/workflows/push_pr.yml #96: Pull request #42 synchronize by pitmonticone
August 14, 2024 15:28 4m 56s golf-ComplexInterpolation
August 14, 2024 15:28 4m 56s
Golf a few proofs
.github/workflows/push_pr.yml #95: Pull request #42 synchronize by pitmonticone
August 14, 2024 15:20 3m 3s golf-ComplexInterpolation
August 14, 2024 15:20 3m 3s
Speed up CI
.github/workflows/push_pr.yml #94: Pull request #41 synchronize by pitmonticone
August 14, 2024 15:05 5m 21s gh-actions
August 14, 2024 15:05 5m 21s
Golf a few proofs
.github/workflows/push_pr.yml #93: Pull request #42 synchronize by pitmonticone
August 14, 2024 13:58 3m 5s golf-ComplexInterpolation
August 14, 2024 13:58 3m 5s
Speed up CI
.github/workflows/push_pr.yml #92: Pull request #41 synchronize by pitmonticone
August 14, 2024 13:54 5m 12s gh-actions
August 14, 2024 13:54 5m 12s
Fix formatting
.github/workflows/push_pr.yml #91: Pull request #43 synchronize by pitmonticone
August 14, 2024 13:54 3m 5s fix-format
August 14, 2024 13:54 3m 5s
Distributions
.github/workflows/push_pr.yml #90: Pull request #50 synchronize by fpvandoorn
August 14, 2024 13:32 3m 16s InftyCat:master
August 14, 2024 13:32 3m 16s
Prove prop 6.13 [Folland]
.github/workflows/push_pr.yml #89: Pull request #51 opened by KunhongDu
August 5, 2024 10:09 3m 12s KunhongDu:RT
August 5, 2024 10:09 3m 12s
Distributions
.github/workflows/push_pr.yml #88: Pull request #50 synchronize by InftyCat
July 27, 2024 20:34 2m 47s InftyCat:master
July 27, 2024 20:34 2m 47s
Distributions
.github/workflows/push_pr.yml #87: Pull request #50 opened by InftyCat
July 27, 2024 20:18 2m 43s InftyCat:master
July 27, 2024 20:18 2m 43s
Create dependabot
.github/workflows/push_pr.yml #86: Pull request #49 synchronize by pitmonticone
July 27, 2024 13:27 2m 45s dependabot
July 27, 2024 13:27 2m 45s
Create dependabot
.github/workflows/push_pr.yml #85: Pull request #49 opened by pitmonticone
July 27, 2024 13:05 2m 58s dependabot
July 27, 2024 13:05 2m 58s
speed up some proofs; some changes
.github/workflows/push_pr.yml #84: Pull request #48 opened by madeve-unipi
July 27, 2024 09:45 2m 55s madeve-unipi:master
July 27, 2024 09:45 2m 55s
Plancharel
.github/workflows/push_pr.yml #83: Pull request #47 opened by sterecht
July 26, 2024 18:45 2m 46s sterecht:plancharel
July 26, 2024 18:45 2m 46s
Bump actions
.github/workflows/push_pr.yml #82: Pull request #46 synchronize by pitmonticone
July 26, 2024 13:35 2m 47s bump-actions
July 26, 2024 13:35 2m 47s
Bump actions
.github/workflows/push_pr.yml #81: Pull request #46 opened by pitmonticone
July 26, 2024 12:51 3m 13s bump-actions
July 26, 2024 12:51 3m 13s
Enrich .gitignore
.github/workflows/push_pr.yml #80: Pull request #45 opened by pitmonticone
July 26, 2024 09:01 2m 48s gitignore
July 26, 2024 09:01 2m 48s
Fix formatting
.github/workflows/push_pr.yml #79: Pull request #43 synchronize by pitmonticone
July 23, 2024 15:06 6m 53s fix-format
July 23, 2024 15:06 6m 53s
Golf Hadamard.lean
.github/workflows/push_pr.yml #78: Pull request #44 opened by pitmonticone
July 23, 2024 12:27 2m 51s golf-hadamard
July 23, 2024 12:27 2m 51s
Fix formatting
.github/workflows/push_pr.yml #77: Pull request #43 opened by pitmonticone
July 23, 2024 12:21 2m 47s fix-format
July 23, 2024 12:21 2m 47s
Golf a few proofs
.github/workflows/push_pr.yml #76: Pull request #42 synchronize by pitmonticone
July 22, 2024 09:01 2m 52s golf-ComplexInterpolation
July 22, 2024 09:01 2m 52s
Golf a few proofs
.github/workflows/push_pr.yml #75: Pull request #42 synchronize by pitmonticone
July 22, 2024 08:54 2m 46s golf-ComplexInterpolation
July 22, 2024 08:54 2m 46s
Golf a few proofs
.github/workflows/push_pr.yml #74: Pull request #42 synchronize by pitmonticone
July 22, 2024 08:49 2m 54s golf-ComplexInterpolation
July 22, 2024 08:49 2m 54s
Golf a few proofs
.github/workflows/push_pr.yml #73: Pull request #42 synchronize by pitmonticone
July 22, 2024 08:47 2m 40s golf-ComplexInterpolation
July 22, 2024 08:47 2m 40s