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

Lemmas 5.2.3, 5.2.4, 5.3.4 .github/workflows/push_pr.yml #123: Pull request #56 synchronize by Parcly-Taxel
July 5, 2024 01:51 3m 1s Parcly-Taxel:fix-wiggle
Parcly-Taxel:fix-wiggle
July 5, 2024 01:51 3m 1s
Lemmas 5.2.3, 5.2.4, 5.3.4 .github/workflows/push_pr.yml #122: Pull request #56 opened by Parcly-Taxel
July 4, 2024 14:21 3m 7s Parcly-Taxel:fix-wiggle
Parcly-Taxel:fix-wiggle
July 4, 2024 14:21 3m 7s
Golf a few proofs .github/workflows/push_pr.yml #121: Pull request #55 synchronize by pitmonticone
July 3, 2024 18:25 2m 55s pitmonticone:golf-proofs
pitmonticone:golf-proofs
July 3, 2024 18:25 2m 55s
Golf a few proofs .github/workflows/push_pr.yml #120: Pull request #55 opened by pitmonticone
July 3, 2024 18:24 2m 51s pitmonticone:golf-proofs
pitmonticone:golf-proofs
July 3, 2024 18:24 2m 51s
Lemma 2.1.2 and wiggle order lemmas .github/workflows/push_pr.yml #119: Pull request #50 synchronize by Parcly-Taxel
July 2, 2024 11:58 2m 49s Parcly-Taxel:monocube
Parcly-Taxel:monocube
July 2, 2024 11:58 2m 49s
Lemma 2.1.2 and wiggle order lemmas .github/workflows/push_pr.yml #118: Pull request #50 synchronize by Parcly-Taxel
July 2, 2024 11:54 2m 53s Parcly-Taxel:monocube
Parcly-Taxel:monocube
July 2, 2024 11:54 2m 53s
Lemma 2.1.2 and wiggle order lemmas .github/workflows/push_pr.yml #117: Pull request #50 synchronize by Parcly-Taxel
July 2, 2024 11:45 3m 3s Parcly-Taxel:monocube
Parcly-Taxel:monocube
July 2, 2024 11:45 3m 3s
Lemma 2.1.2 and wiggle order lemmas .github/workflows/push_pr.yml #116: Pull request #50 synchronize by Parcly-Taxel
July 2, 2024 07:37 2m 46s Parcly-Taxel:monocube
Parcly-Taxel:monocube
July 2, 2024 07:37 2m 46s
Golf proofs in WeakType .github/workflows/push_pr.yml #115: Pull request #51 opened by Parcly-Taxel
July 2, 2024 04:17 2m 56s Parcly-Taxel:weaktype-golf
Parcly-Taxel:weaktype-golf
July 2, 2024 04:17 2m 56s
Lemma 2.1.2 and wiggle order lemmas .github/workflows/push_pr.yml #114: Pull request #50 opened by Parcly-Taxel
July 2, 2024 02:21 2m 44s Parcly-Taxel:monocube
Parcly-Taxel:monocube
July 2, 2024 02:21 2m 44s
Tile existence lemma .github/workflows/push_pr.yml #113: Pull request #46 synchronize by Parcly-Taxel
July 1, 2024 16:45 2m 59s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
July 1, 2024 16:45 2m 59s
Tile existence lemma .github/workflows/push_pr.yml #112: Pull request #46 synchronize by Parcly-Taxel
July 1, 2024 16:34 2m 54s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
July 1, 2024 16:34 2m 54s
Enforce a-related parameters as natural numbers .github/workflows/push_pr.yml #111: Pull request #48 synchronize by Parcly-Taxel
July 1, 2024 15:42 2m 45s Parcly-Taxel:natural-a
Parcly-Taxel:natural-a
July 1, 2024 15:42 2m 45s
Enforce a-related parameters as natural numbers .github/workflows/push_pr.yml #110: Pull request #48 synchronize by Parcly-Taxel
July 1, 2024 09:20 2m 52s Parcly-Taxel:natural-a
Parcly-Taxel:natural-a
July 1, 2024 09:20 2m 52s
Add first version of proofs for task 15 .github/workflows/push_pr.yml #109: Pull request #49 synchronize by jim-portegies
July 1, 2024 06:34 3m 7s jim-portegies:task-15
jim-portegies:task-15
July 1, 2024 06:34 3m 7s
Tile existence lemma .github/workflows/push_pr.yml #108: Pull request #46 synchronize by Parcly-Taxel
July 1, 2024 00:53 2m 41s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
July 1, 2024 00:53 2m 41s
Define Grid.succ and prove its properties .github/workflows/push_pr.yml #107: Pull request #47 synchronize by Parcly-Taxel
July 1, 2024 00:45 2m 49s Parcly-Taxel:succ
Parcly-Taxel:succ
July 1, 2024 00:45 2m 49s
Add first version of proofs for task 15 .github/workflows/push_pr.yml #106: Pull request #49 opened by jim-portegies
June 30, 2024 11:25 1m 28s jim-portegies:task-15
jim-portegies:task-15
June 30, 2024 11:25 1m 28s
Tile existence lemma .github/workflows/push_pr.yml #105: Pull request #46 synchronize by Parcly-Taxel
June 30, 2024 11:20 2m 44s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
June 30, 2024 11:20 2m 44s
Tile existence lemma .github/workflows/push_pr.yml #104: Pull request #46 synchronize by Parcly-Taxel
June 30, 2024 11:11 2m 52s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
June 30, 2024 11:11 2m 52s
Enforce a-related parameters as natural numbers .github/workflows/push_pr.yml #103: Pull request #48 opened by Parcly-Taxel
June 30, 2024 10:49 2m 51s Parcly-Taxel:natural-a
Parcly-Taxel:natural-a
June 30, 2024 10:49 2m 51s
Define Grid.succ and prove its properties .github/workflows/push_pr.yml #102: Pull request #47 synchronize by Parcly-Taxel
June 30, 2024 07:40 3m 20s Parcly-Taxel:succ
Parcly-Taxel:succ
June 30, 2024 07:40 3m 20s
Define Grid.succ and prove its properties .github/workflows/push_pr.yml #101: Pull request #47 opened by Parcly-Taxel
June 30, 2024 05:01 2m 42s Parcly-Taxel:succ
Parcly-Taxel:succ
June 30, 2024 05:01 2m 42s
Tile existence lemma .github/workflows/push_pr.yml #100: Pull request #46 synchronize by Parcly-Taxel
June 29, 2024 11:11 2m 39s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
June 29, 2024 11:11 2m 39s
Tile existence lemma .github/workflows/push_pr.yml #99: Pull request #46 synchronize by Parcly-Taxel
June 29, 2024 08:06 2m 45s Parcly-Taxel:4.0.2-3
Parcly-Taxel:4.0.2-3
June 29, 2024 08:06 2m 45s
ProTip! You can narrow down the results and go further in time using created:<2024-06-29 or the other filters available.