Skip to content

Actions: YaelDillies/LeanAPAP

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create _includes folder if it doesn't exist (#5) .github/workflows/push.yml #67: Commit e822a08 pushed by YaelDillies
November 15, 2023 20:50 26m 27s master
master
November 15, 2023 20:50 26m 27s
Improve style (#4) .github/workflows/push.yml #66: Commit c0bb314 pushed by YaelDillies
November 15, 2023 20:16 24s master
master
November 15, 2023 20:16 24s
Print files to upstream and sorry-count .github/workflows/push.yml #65: Commit 4ff5cc0 pushed by YaelDillies
November 15, 2023 14:04 21s master
master
November 15, 2023 14:04 21s
Update workflows .github/workflows/push.yml #64: Commit cfa0d53 pushed by YaelDillies
November 14, 2023 19:51 26m 12s master
master
November 14, 2023 19:51 26m 12s
Update workflows .github/workflows/push.yml #63: Commit 6b5ead7 pushed by YaelDillies
November 14, 2023 19:23 26m 25s master
master
November 14, 2023 19:23 26m 25s
Switch to custom LeanBlueprint .github/workflows/push.yml #62: Commit 010c7bb pushed by YaelDillies
November 14, 2023 18:08 27m 5s master
master
November 14, 2023 18:08 27m 5s
todo for fixing mk_all.sh .github/workflows/push.yml #61: Commit 356b326 pushed by YaelDillies
November 14, 2023 15:33 27m 37s master
master
November 14, 2023 15:33 27m 37s
remove authors from tex files .github/workflows/push.yml #60: Commit 19f6bbe pushed by YaelDillies
November 14, 2023 15:12 21m 50s master
master
November 14, 2023 15:12 21m 50s
document expect .github/workflows/push.yml #59: Commit 03cef0d pushed by YaelDillies
November 12, 2023 09:43 26m 10s master
master
November 12, 2023 09:43 26m 10s
bump mathlib .github/workflows/push.yml #58: Commit 206cf42 pushed by YaelDillies
November 12, 2023 09:25 18m 9s master
master
November 12, 2023 09:25 18m 9s
add expect_congr'' (#3) .github/workflows/push.yml #57: Commit 80240ea pushed by YaelDillies
November 12, 2023 09:04 21m 18s master
master
November 12, 2023 09:04 21m 18s
mathlib is now ported to Lean 4 .github/workflows/push.yml #56: Commit 6b407e4 pushed by YaelDillies
November 4, 2023 13:35 45m 4s master
master
November 4, 2023 13:35 45m 4s
Blueprint: rudin depends on rudin_exp .github/workflows/push.yml #55: Commit 6ed49ee pushed by YaelDillies
October 30, 2023 16:48 38m 28s master
master
October 30, 2023 16:48 38m 28s
Blueprint: Fix links to Lean declarations .github/workflows/push.yml #54: Commit 5104404 pushed by YaelDillies
October 30, 2023 15:19 47m 15s master
master
October 30, 2023 15:19 47m 15s
Upgrade blueprint to support Lean 4 (#2) .github/workflows/push.yml #53: Commit c96629b pushed by YaelDillies
October 30, 2023 07:36 37m 48s master
master
October 30, 2023 07:36 37m 48s
fix branch for CI .github/workflows/push.yml #52: Commit 68352c3 pushed by YaelDillies
October 22, 2023 18:48 24m 1s master
master
October 22, 2023 18:48 24m 1s
Lpnorm_conv_le_Lpnorm_dconv .github/workflows/push.yml #51: Commit a6cdc49 pushed by YaelDillies
August 25, 2023 15:01 46m 35s master
master
August 25, 2023 15:01 46m 35s
state ap_in_ff, di_in_ff .github/workflows/push.yml #50: Commit 7ab7702 pushed by YaelDillies
August 15, 2023 20:43 56m 14s master
master
August 15, 2023 20:43 56m 14s
finish unbalancing .github/workflows/push.yml #49: Commit 9cfc19a pushed by YaelDillies
August 15, 2023 13:55 52m 44s master
master
August 15, 2023 13:55 52m 44s
Corrected unbalancing statement .github/workflows/push.yml #48: Commit 6a6ef27 pushed by TFBloom
August 15, 2023 09:13 39m 48s master
master
August 15, 2023 09:13 39m 48s
Made codimension bound explicit .github/workflows/push.yml #47: Commit 0431bed pushed by TFBloom
August 15, 2023 09:04 46m 38s master
master
August 15, 2023 09:04 46m 38s
global_dichotomy .github/workflows/push.yml #46: Commit 1e71419 pushed by YaelDillies
August 14, 2023 11:33 1h 3m 4s master
master
August 14, 2023 11:33 1h 3m 4s
no3aps_inner_prod .github/workflows/push.yml #45: Commit 05b170f pushed by YaelDillies
August 14, 2023 08:30 48m 35s master
master
August 14, 2023 08:30 48m 35s
ProTip! You can narrow down the results and go further in time using created:<2023-08-14 or the other filters available.