Skip to content

Actions: alma-n/Polya-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update mathlib, fix FourierD .github/workflows/push.yml #21: Commit dd9b060 pushed by xhalo32
October 12, 2024 11:03 1m 45s main
main
October 12, 2024 11:03 1m 45s
A bit more details in the blueprint (the dependency graph is not far … .github/workflows/push.yml #20: Commit 7bb3eea pushed by kkytola
August 29, 2024 14:39 41m 49s main
main
August 29, 2024 14:39 41m 49s
Got started with the higher dimensional Fourier series. Need to bump … .github/workflows/push.yml #19: Commit 62805a0 pushed by kkytola
August 15, 2024 21:01 8m 30s main
main
August 15, 2024 21:01 8m 30s
Also remember that one should take the real part of the Fourier inver… .github/workflows/push.yml #18: Commit b491fbc pushed by kkytola
August 15, 2024 12:47 8m 35s main
main
August 15, 2024 12:47 8m 35s
Besides the Mock Green's function Fourier transform, have statements … .github/workflows/push.yml #17: Commit 8e8a8e9 pushed by kkytola
August 15, 2024 11:56 8m 38s main
main
August 15, 2024 11:56 8m 38s
A mock version (1-dim and with a placeholder Green's function) of the… .github/workflows/push.yml #16: Commit 84c42d4 pushed by kkytola
August 14, 2024 21:28 42m 32s main
main
August 14, 2024 21:28 42m 32s
Golf a few proofs .github/workflows/push_pr.yml #17: Pull request #9 opened by pitmonticone
August 6, 2024 08:51 1m 31s pitmonticone:golf-proofs
pitmonticone:golf-proofs
August 6, 2024 08:51 1m 31s
update blueprint .github/workflows/push.yml #15: Commit 8e84af0 pushed by xhalo32
August 1, 2024 19:40 8m 55s main
main
August 1, 2024 19:40 8m 55s
Closed some sorrys .github/workflows/push.yml #14: Commit a6c5a1f pushed by xhalo32
August 1, 2024 18:09 8m 15s main
main
August 1, 2024 18:09 8m 15s
add README .github/workflows/push.yml #13: Commit c5d8e1d pushed by xhalo32
July 25, 2024 13:26 7m 28s main
main
July 25, 2024 13:26 7m 28s
Merge pull request #8 from pitmonticone/minimise-imports .github/workflows/push.yml #12: Commit 60de5a7 pushed by xhalo32
July 19, 2024 16:08 7m 33s main
main
July 19, 2024 16:08 7m 33s
add tasks.py from https://github.com/YaelDillies/LeanAPAP/blob/master… .github/workflows/push.yml #11: Commit 5cc4a32 pushed by xhalo32
July 18, 2024 20:45 41m 20s main
main
July 18, 2024 20:45 41m 20s
Minimise imports .github/workflows/push_pr.yml #16: Pull request #8 opened by pitmonticone
July 18, 2024 20:09 1m 22s pitmonticone:minimise-imports
pitmonticone:minimise-imports
July 18, 2024 20:09 1m 22s
what is happening with the CI .github/workflows/push.yml #10: Commit 9605527 pushed by xhalo32
July 18, 2024 19:47 37m 20s main
main
July 18, 2024 19:47 37m 20s
remove old Lean code .github/workflows/push.yml #9: Commit 905766c pushed by xhalo32
July 18, 2024 19:46 40m 45s main
main
July 18, 2024 19:46 40m 45s
copy blueprint/tasks.py from https://github.com/YaelDillies/LeanAPAP .github/workflows/push.yml #8: Commit 10f8226 pushed by xhalo32
July 18, 2024 18:47 37m 7s main
main
July 18, 2024 18:47 37m 7s
Fix file name .github/workflows/push.yml #7: Commit e288c5e pushed by YaelDillies
July 18, 2024 14:42 36m 52s main
main
July 18, 2024 14:42 36m 52s
Slightly better gitignore .github/workflows/push.yml #6: Commit ed97af1 pushed by YaelDillies
July 18, 2024 14:21 19m 14s main
main
July 18, 2024 14:21 19m 14s
Basic infrastructure for the website .github/workflows/push.yml #5: Commit 6e5bf19 pushed by YaelDillies
July 18, 2024 14:19 20m 51s main
main
July 18, 2024 14:19 20m 51s
Standard Lean settings for vscode .github/workflows/push.yml #4: Commit 62fe0db pushed by YaelDillies
July 18, 2024 14:07 35m 35s main
main
July 18, 2024 14:07 35m 35s
Standard Lean settings for vscode .github/workflows/blueprint.yml #9: Commit 62fe0db pushed by YaelDillies
July 18, 2024 14:07 33m 7s main
main
July 18, 2024 14:07 33m 7s
A gitpod configuration .github/workflows/blueprint.yml #8: Commit a583c6b pushed by YaelDillies
July 18, 2024 14:06 38m 41s main
main
July 18, 2024 14:06 38m 41s
A gitpod configuration .github/workflows/push.yml #3: Commit a583c6b pushed by YaelDillies
July 18, 2024 14:06 33m 58s main
main
July 18, 2024 14:06 33m 58s
remove bump branch from push workflow .github/workflows/blueprint.yml #7: Commit d59d7cc pushed by xhalo32
July 18, 2024 13:55 39m 37s main
main
July 18, 2024 13:55 39m 37s
remove bump branch from push workflow .github/workflows/push.yml #2: Commit d59d7cc pushed by xhalo32
July 18, 2024 13:55 37m 43s main
main
July 18, 2024 13:55 37m 43s