Skip to content

Actions: YaelDillies/LeanAPAP

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix sorry in cast_divNat .github/workflows/push_pr.yml #13: Pull request #7 opened by Command-Master
May 2, 2024 17:24 3m 51s Command-Master:master
Command-Master:master
May 2, 2024 17:24 3m 51s
A version of the BSG theorem with two subsets .github/workflows/push_pr.yml #12: Pull request #6 opened by Command-Master
March 27, 2024 15:41 4m 10s Command-Master:master
Command-Master:master
March 27, 2024 15:41 4m 10s
MWE .github/workflows/push_pr.yml #11: Commit a1a353b pushed by YaelDillies
February 29, 2024 21:02 4m 20s mwe
mwe
February 29, 2024 21:02 4m 20s
progress .github/workflows/push_pr.yml #10: Commit eed7ce4 pushed by YaelDillies
February 17, 2024 18:27 4m 6s conv_positivity
conv_positivity
February 17, 2024 18:27 4m 6s
MWE .github/workflows/push_pr.yml #9: Commit 499a717 pushed by YaelDillies
February 17, 2024 17:02 4m 0s conv_positivity
conv_positivity
February 17, 2024 17:02 4m 0s
Fix some of Roth .github/workflows/push_pr.yml #8: Commit bb09b1f pushed by YaelDillies
December 30, 2023 21:01 5m 2s new_roth
new_roth
December 30, 2023 21:01 5m 2s
Create _includes folder if it doesn't exist .github/workflows/push_pr.yml #7: Pull request #5 opened by zeramorphic
November 15, 2023 20:48 3m 53s zeramorphic:patch-1
zeramorphic:patch-1
November 15, 2023 20:48 3m 53s
Upgrade blueprint to support Lean 4 .github/workflows/push_pr.yml #4: Pull request #2 synchronize by utensil
October 30, 2023 05:42 5m 11s utensil:master
utensil:master
October 30, 2023 05:42 5m 11s
Upgrade blueprint to support Lean 4 .github/workflows/push_pr.yml #2: Pull request #2 opened by utensil
October 23, 2023 10:19 5m 19s utensil:master
utensil:master
October 23, 2023 10:19 5m 19s
Update to Lean 4 .github/workflows/push_pr.yml #1: Pull request #1 opened by YaelDillies
October 22, 2023 18:47 5m 3s mathport
mathport
October 22, 2023 18:47 5m 3s