Skip to content

Actions: dagurtomas/LeanCondensed

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix namespaces .github/workflows/push.yml #36: Commit 44e7f3a pushed by dagurtomas
November 13, 2024 10:20 1m 49s master
master
November 13, 2024 10:20 1m 49s
mk_all .github/workflows/push.yml #35: Commit de38142 pushed by dagurtomas
November 13, 2024 10:17 1m 41s master
master
November 13, 2024 10:17 1m 41s
Merge pull request #3 from LennyTaelman/injective .github/workflows/push.yml #34: Commit 5892eab pushed by dagurtomas
November 13, 2024 10:16 1m 37s master
master
November 13, 2024 10:16 1m 37s
added LightProfiniteInjective .github/workflows/push_pr.yml #13: Pull request #3 synchronize by LennyTaelman
November 13, 2024 08:49 2m 0s LennyTaelman:injective
LennyTaelman:injective
November 13, 2024 08:49 2m 0s
added LightProfiniteInjective .github/workflows/push_pr.yml #6: Pull request #3 opened by LennyTaelman
November 12, 2024 13:11 1m 43s LennyTaelman:injective
LennyTaelman:injective
November 12, 2024 13:11 1m 43s
fix the build .github/workflows/push.yml #33: Commit b8d069a pushed by dagurtomas
November 12, 2024 12:18 1m 38s master
master
November 12, 2024 12:18 1m 38s
fix the build .github/workflows/push.yml #32: Commit ad30c8d pushed by dagurtomas
October 4, 2024 11:08 1m 27s master
master
October 4, 2024 11:08 1m 27s
docstring .github/workflows/push.yml #31: Commit b6c7975 pushed by dagurtomas
October 1, 2024 11:32 1m 41s master
master
October 1, 2024 11:32 1m 41s
move stuff .github/workflows/push.yml #30: Commit f45532a pushed by dagurtomas
October 1, 2024 11:24 1m 47s master
master
October 1, 2024 11:24 1m 47s
cleanup .github/workflows/push.yml #29: Commit d1e4c4b pushed by dagurtomas
August 26, 2024 14:40 1m 25s master
master
August 26, 2024 14:40 1m 25s
fix errors .github/workflows/push.yml #28: Commit a042432 pushed by dagurtomas
August 26, 2024 14:30 1m 47s master
master
August 26, 2024 14:30 1m 47s
cleanup .github/workflows/push.yml #27: Commit 2276b60 pushed by dagurtomas
August 26, 2024 14:22 6m 12s master
master
August 26, 2024 14:22 6m 12s
mk_all .github/workflows/push.yml #26: Commit 680aa17 pushed by dagurtomas
August 12, 2024 13:40 1m 25s master
master
August 12, 2024 13:40 1m 25s
mk_all .github/workflows/push.yml #25: Commit 80ae8dd pushed by dagurtomas
August 12, 2024 12:14 1m 32s master
master
August 12, 2024 12:14 1m 32s
indentation .github/workflows/push.yml #24: Commit c7bf72c pushed by dagurtomas
August 12, 2024 12:11 1m 31s master
master
August 12, 2024 12:11 1m 31s
delete old mk_all script .github/workflows/push.yml #23: Commit 6aef56d pushed by dagurtomas
August 12, 2024 12:07 1m 33s master
master
August 12, 2024 12:07 1m 33s
mk_all .github/workflows/push.yml #22: Commit cb9a45f pushed by dagurtomas
August 12, 2024 12:05 1m 34s master
master
August 12, 2024 12:05 1m 34s
Update Small.lean .github/workflows/push.yml #21: Commit 52e9836 pushed by dagurtomas
July 10, 2024 11:14 1m 48s master
master
July 10, 2024 11:14 1m 48s
add some examples .github/workflows/push.yml #20: Commit dc05203 pushed by dagurtomas
June 15, 2024 21:25 1m 47s master
master
June 15, 2024 21:25 1m 47s
solid light abelian groups (heavily sorried) .github/workflows/push.yml #19: Commit c600f3d pushed by dagurtomas
June 15, 2024 13:45 1m 49s master
master
June 15, 2024 13:45 1m 49s
golf .github/workflows/push.yml #18: Commit 72da3d5 pushed by dagurtomas
June 15, 2024 11:12 1m 56s master
master
June 15, 2024 11:12 1m 56s
epi_limit_of_epi done .github/workflows/push.yml #17: Commit bf18792 pushed by dagurtomas
June 15, 2024 10:17 1m 49s master
master
June 15, 2024 10:17 1m 49s
just one sorry left .github/workflows/push.yml #16: Commit 2f8cba3 pushed by dagurtomas
June 15, 2024 09:48 1m 48s master
master
June 15, 2024 09:48 1m 48s
should have all I need for limit of epis .github/workflows/push.yml #15: Commit f01a4e9 pushed by dagurtomas
June 15, 2024 00:00 1m 47s master
master
June 15, 2024 00:00 1m 47s
golf .github/workflows/push.yml #14: Commit a32125e pushed by dagurtomas
June 14, 2024 23:33 1m 54s master
master
June 14, 2024 23:33 1m 54s