Skip to content

Actions: YaelDillies/LeanAPAP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
276 workflow runs
276 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use leanOptions in lakefile .github/workflows/push.yml #73: Commit 94ceaa0 pushed by YaelDillies
December 13, 2023 10:18 18m 38s master
master
December 13, 2023 10:18 18m 38s
Proper tasks.py .github/workflows/push.yml #72: Commit 22aa4bd pushed by YaelDillies
December 12, 2023 20:25 18m 6s master
master
December 12, 2023 20:25 18m 6s
Make sure the docs/_include folder exists .github/workflows/push.yml #71: Commit 02e6363 pushed by YaelDillies
December 12, 2023 19:56 18m 24s master
master
December 12, 2023 19:56 18m 24s
Mathjax support .github/workflows/push.yml #70: Commit 13d24c9 pushed by YaelDillies
December 12, 2023 19:54 23s master
master
December 12, 2023 19:54 23s
Fancy new workflow with doc caching that works .github/workflows/push.yml #69: Commit b0b257f pushed by YaelDillies
December 12, 2023 18:55 21s master
master
December 12, 2023 18:55 21s
Bump mathlib .github/workflows/push.yml #68: Commit 47e4181 pushed by YaelDillies
December 4, 2023 16:11 23m 3s master
master
December 4, 2023 16:11 23m 3s
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
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
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
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
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-22 or the other filters available.