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

added bohr, integers .github/workflows/push.yml #92: Commit d3e3863 pushed by TFBloom
December 22, 2023 07:07 10m 15s master
master
December 22, 2023 07:07 10m 15s
Create integers.tex .github/workflows/push.yml #91: Commit c13445f pushed by TFBloom
December 22, 2023 07:06 5m 2s master
master
December 22, 2023 07:06 5m 2s
Create bohr.tex .github/workflows/push.yml #90: Commit b596e50 pushed by TFBloom
December 22, 2023 07:04 7m 18s master
master
December 22, 2023 07:04 7m 18s
Add license .github/workflows/push.yml #89: Commit c0ecdfe pushed by YaelDillies
December 21, 2023 17:43 10m 16s master
master
December 21, 2023 17:43 10m 16s
linfty_ap_boosted .github/workflows/push.yml #88: Commit 48930db pushed by YaelDillies
December 21, 2023 17:18 11m 15s master
master
December 21, 2023 17:18 11m 15s
Generalise Finset.expect .github/workflows/push.yml #87: Commit 2986951 pushed by YaelDillies
December 21, 2023 14:51 10m 28s master
master
December 21, 2023 14:51 10m 28s
Bump mathlib .github/workflows/push.yml #86: Commit bea0f06 pushed by YaelDillies
December 20, 2023 15:29 20m 12s master
master
December 20, 2023 15:29 20m 12s
linfty_ap .github/workflows/push.yml #85: Commit 4db8695 pushed by YaelDillies
December 19, 2023 10:03 10m 48s master
master
December 19, 2023 10:03 10m 48s
Fix typo in blueprint .github/workflows/push.yml #84: Commit 5b08431 pushed by YaelDillies
December 18, 2023 13:51 9m 30s master
master
December 18, 2023 13:51 9m 30s
diss_energy .github/workflows/push.yml #83: Commit 419df06 pushed by YaelDillies
December 18, 2023 13:38 9m 9s master
master
December 18, 2023 13:38 9m 9s
Rudin's inequality .github/workflows/push.yml #82: Commit 1f32836 pushed by YaelDillies
December 18, 2023 10:59 21m 17s master
master
December 18, 2023 10:59 21m 17s
More expect lemmas .github/workflows/push.yml #81: Commit a46077b pushed by YaelDillies
December 17, 2023 21:56 9m 8s master
master
December 17, 2023 21:56 9m 8s
Preliminary lemmas .github/workflows/push.yml #80: Commit c335cd8 pushed by YaelDillies
December 16, 2023 15:35 9m 7s master
master
December 16, 2023 15:35 9m 7s
Density of a finset .github/workflows/push.yml #79: Commit 1da41b2 pushed by YaelDillies
December 15, 2023 20:54 9m 27s master
master
December 15, 2023 20:54 9m 27s
Even more positivity extensions .github/workflows/push.yml #78: Commit 26f26cc pushed by YaelDillies
December 14, 2023 16:26 8m 59s master
master
December 14, 2023 16:26 8m 59s
Fix typos in Rudin .github/workflows/push.yml #77: Commit 6e0b52e pushed by YaelDillies
December 14, 2023 05:35 3m 41s master
master
December 14, 2023 05:35 3m 41s
Progress on rudin_exp_ineq .github/workflows/push.yml #76: Commit b46e98e pushed by YaelDillies
December 13, 2023 17:36 4m 3s master
master
December 13, 2023 17:36 4m 3s
Do not forget to count sorries .github/workflows/push.yml #75: Commit 7e96b95 pushed by YaelDillies
December 13, 2023 13:17 20m 11s master
master
December 13, 2023 13:17 20m 11s
Correct requirements.txt .github/workflows/push.yml #74: Commit 09f26c4 pushed by YaelDillies
December 13, 2023 12:08 19m 8s master
master
December 13, 2023 12:08 19m 8s
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