Skip to content

Actions: emilyriehl/infinity-cosmos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
599 workflow runs
599 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove LaTeX macros from Lean Mathlib folder (#2) Lint Style #38: Commit 2ef4722 pushed by digama0
August 12, 2024 20:18 11s main
main
August 12, 2024 20:18 11s
Remove LaTeX macros from Lean Mathlib folder (#2) Compile blueprint #34: Commit 2ef4722 pushed by digama0
August 12, 2024 20:18 11m 46s main
main
August 12, 2024 20:18 11m 46s
Remove LaTeX macros from Lean Mathlib folder Lint Style #37: Pull request #2 opened by pitmonticone
August 12, 2024 10:12 20s remove-macros
remove-macros
August 12, 2024 10:12 20s
universe errors remain but this file typechecks Lint Style #36: Commit 6d49175 pushed by emilyriehl
August 6, 2024 07:20 13s main
main
August 6, 2024 07:20 13s
universe errors remain but this file typechecks Compile blueprint #33: Commit 6d49175 pushed by emilyriehl
August 6, 2024 07:20 12m 0s main
main
August 6, 2024 07:20 12m 0s
quick and dirty dependency graph Compile blueprint #32: Commit 0d19c14 pushed by emilyriehl
August 2, 2024 16:47 11m 25s main
main
August 2, 2024 16:47 11m 25s
quick and dirty dependency graph Lint Style #35: Commit 0d19c14 pushed by emilyriehl
August 2, 2024 16:47 19s main
main
August 2, 2024 16:47 19s
more lean tags Lint Style #34: Commit 671d19e pushed by emilyriehl
August 2, 2024 16:05 13s main
main
August 2, 2024 16:05 13s
more lean tags Compile blueprint #31: Commit 671d19e pushed by emilyriehl
August 2, 2024 16:05 12m 35s main
main
August 2, 2024 16:05 12m 35s
more lean labels Lint Style #33: Commit dde64d4 pushed by emilyriehl
August 2, 2024 15:12 13s main
main
August 2, 2024 15:12 13s
more lean labels Compile blueprint #30: Commit dde64d4 pushed by emilyriehl
August 2, 2024 15:12 10m 38s main
main
August 2, 2024 15:12 10m 38s
more dependencies and first lean files Lint Style #32: Commit 7b71673 pushed by emilyriehl
August 2, 2024 14:23 15s main
main
August 2, 2024 14:23 15s
more dependencies and first lean files Compile blueprint #29: Commit 7b71673 pushed by emilyriehl
August 2, 2024 14:23 11m 21s main
main
August 2, 2024 14:23 11m 21s
tweaking index.md again Lint Style #31: Commit 02cd830 pushed by emilyriehl
August 2, 2024 13:50 14s main
main
August 2, 2024 13:50 14s
tweaking index.md again Compile blueprint #28: Commit 02cd830 pushed by emilyriehl
August 2, 2024 13:50 10m 4s main
main
August 2, 2024 13:50 10m 4s
full version uncommented Lint Style #30: Commit 287879a pushed by emilyriehl
August 2, 2024 13:46 13s main
main
August 2, 2024 13:46 13s
full version uncommented Compile blueprint #27: Commit 287879a pushed by emilyriehl
August 2, 2024 13:46 9m 59s main
main
August 2, 2024 13:46 9m 59s
slightly less obnoxious web symbols Compile blueprint #26: Commit bd84a47 pushed by emilyriehl
August 2, 2024 13:43 10m 41s main
main
August 2, 2024 13:43 10m 41s
slightly less obnoxious web symbols Lint Style #29: Commit bd84a47 pushed by emilyriehl
August 2, 2024 13:43 9s main
main
August 2, 2024 13:43 9s
fixing web version Lint Style #28: Commit 6e342f0 pushed by emilyriehl
August 2, 2024 13:36 15s main
main
August 2, 2024 13:36 15s
fixing web version Compile blueprint #25: Commit 6e342f0 pushed by emilyriehl
August 2, 2024 13:36 9m 44s main
main
August 2, 2024 13:36 9m 44s
fix link Compile blueprint #24: Commit e910055 pushed by emilyriehl
August 2, 2024 13:20 10m 43s main
main
August 2, 2024 13:20 10m 43s
fix link Lint Style #27: Commit e910055 pushed by emilyriehl
August 2, 2024 13:20 16s main
main
August 2, 2024 13:20 16s
more dependency Compile blueprint #23: Commit 50ad25e pushed by emilyriehl
August 2, 2024 13:18 10m 2s main
main
August 2, 2024 13:18 10m 2s
more dependency Lint Style #26: Commit 50ad25e pushed by emilyriehl
August 2, 2024 13:18 10s main
main
August 2, 2024 13:18 10s
ProTip! You can narrow down the results and go further in time using created:<2024-08-02 or the other filters available.