Skip to content

Actions: fpvandoorn/carleson

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
369 workflow runs
369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Golf a few proofs .github/workflows/push_pr.yml #45: Pull request #27 synchronize by pitmonticone
June 15, 2024 21:50 2m 48s pitmonticone:golf
pitmonticone:golf
June 15, 2024 21:50 2m 48s
Golf a few proofs .github/workflows/push_pr.yml #44: Pull request #27 synchronize by pitmonticone
June 15, 2024 21:44 2m 50s pitmonticone:golf
pitmonticone:golf
June 15, 2024 21:44 2m 50s
Golf a few proofs .github/workflows/push_pr.yml #43: Pull request #27 synchronize by pitmonticone
June 15, 2024 21:26 2m 45s pitmonticone:golf
pitmonticone:golf
June 15, 2024 21:26 2m 45s
Golf a few proofs .github/workflows/push_pr.yml #42: Pull request #27 synchronize by pitmonticone
June 15, 2024 21:22 2m 54s pitmonticone:golf
pitmonticone:golf
June 15, 2024 21:22 2m 54s
Golf a few proofs .github/workflows/push_pr.yml #41: Pull request #27 synchronize by pitmonticone
June 15, 2024 21:08 2m 44s pitmonticone:golf
pitmonticone:golf
June 15, 2024 21:08 2m 44s
Golf a few proofs .github/workflows/push_pr.yml #40: Pull request #27 synchronize by pitmonticone
June 15, 2024 21:08 2m 48s pitmonticone:golf
pitmonticone:golf
June 15, 2024 21:08 2m 48s
Golf a few proofs .github/workflows/push_pr.yml #39: Pull request #27 synchronize by pitmonticone
June 15, 2024 21:08 2m 47s pitmonticone:golf
pitmonticone:golf
June 15, 2024 21:08 2m 47s
Golf a few proofs .github/workflows/push_pr.yml #38: Pull request #27 synchronize by pitmonticone
June 15, 2024 21:01 2m 51s pitmonticone:golf
pitmonticone:golf
June 15, 2024 21:01 2m 51s
Golf a few proofs .github/workflows/push_pr.yml #37: Pull request #27 synchronize by pitmonticone
June 15, 2024 21:01 2m 56s pitmonticone:golf
pitmonticone:golf
June 15, 2024 21:01 2m 56s
Golf a few proofs .github/workflows/push_pr.yml #36: Pull request #27 opened by pitmonticone
June 15, 2024 01:03 2m 44s pitmonticone:golf
pitmonticone:golf
June 15, 2024 01:03 2m 44s
Bump tzinfo from 1.2.9 to 1.2.10 in /docs .github/workflows/push_pr.yml #35: Pull request #26 opened by dependabot bot
June 13, 2024 08:04 3m 4s dependabot/bundler/docs/tzinfo-1.2.10
dependabot/bundler/docs/tzinfo-1.2.10
June 13, 2024 08:04 3m 4s
Forgot another leanok... .github/workflows/push_pr.yml #34: Pull request #25 opened by ldiedering
June 10, 2024 21:32 2m 41s ldiedering:master
ldiedering:master
June 10, 2024 21:32 2m 41s
Fix dependency and added leanok in Section 10.1 .github/workflows/push_pr.yml #33: Pull request #24 synchronize by ldiedering
June 9, 2024 22:21 2m 38s ldiedering:master
ldiedering:master
June 9, 2024 22:21 2m 38s
Fix dependency and added leanok in Section 10.1 .github/workflows/push_pr.yml #32: Pull request #24 opened by ldiedering
June 9, 2024 22:09 2m 40s ldiedering:master
ldiedering:master
June 9, 2024 22:09 2m 40s
Try to fix documentation build problems .github/workflows/push_pr.yml #31: Pull request #23 synchronize by ldiedering
June 9, 2024 16:01 2m 40s ldiedering:main
ldiedering:main
June 9, 2024 16:01 2m 40s
Try to fix documentation build problems .github/workflows/push_pr.yml #30: Pull request #23 opened by ldiedering
June 9, 2024 14:11 1m 10s ldiedering:main
ldiedering:main
June 9, 2024 14:11 1m 10s
Update blueprint section 10 .github/workflows/push_pr.yml #29: Pull request #22 opened by ldiedering
June 8, 2024 19:37 2m 36s ldiedering:master
ldiedering:master
June 8, 2024 19:37 2m 36s
Golf a few proofs .github/workflows/push_pr.yml #28: Pull request #20 synchronize by fpvandoorn
June 7, 2024 11:53 2m 50s pitmonticone:golf-proofs
pitmonticone:golf-proofs
June 7, 2024 11:53 2m 50s
Fix manifest error in CI .github/workflows/push_pr.yml #27: Pull request #21 opened by pitmonticone
June 7, 2024 00:47 2m 38s pitmonticone:fix-manifest
pitmonticone:fix-manifest
June 7, 2024 00:47 2m 38s
Golf a few proofs .github/workflows/push_pr.yml #26: Pull request #20 opened by pitmonticone
June 7, 2024 00:25 2m 39s pitmonticone:golf-proofs
pitmonticone:golf-proofs
June 7, 2024 00:25 2m 39s
Fix abstract location (blueprint web) .github/workflows/push_pr.yml #25: Pull request #19 opened by pitmonticone
June 6, 2024 22:13 2m 39s pitmonticone:fix-abstract
pitmonticone:fix-abstract
June 6, 2024 22:13 2m 39s
Add files for Classical Carleson .github/workflows/push_pr.yml #24: Pull request #18 opened by ldiedering
June 5, 2024 22:52 2m 37s ldiedering:master
ldiedering:master
June 5, 2024 22:52 2m 37s
Fix label error .github/workflows/push_pr.yml #23: Pull request #17 opened by pitmonticone
May 31, 2024 13:11 1m 31s pitmonticone:fix-label
pitmonticone:fix-label
May 31, 2024 13:11 1m 31s
Update GridStructure .github/workflows/push_pr.yml #22: Pull request #16 synchronize by pitmonticone
May 13, 2024 19:54 1m 14s pitmonticone:grid-structure
pitmonticone:grid-structure
May 13, 2024 19:54 1m 14s
Update GridStructure .github/workflows/push_pr.yml #21: Pull request #16 synchronize by pitmonticone
May 13, 2024 14:59 1m 27s pitmonticone:grid-structure
pitmonticone:grid-structure
May 13, 2024 14:59 1m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-05-13 or the other filters available.