Skip to content

Actions: emilyriehl/infinity-cosmos

Actions

Lint Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
This workflow was disabled manually.
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve ci Lint Style #197: Commit d038ae2 pushed by pitmonticone
October 8, 2024 22:59 10s main
main
October 8, 2024 22:59 10s
more tweaks Lint Style #196: Commit 8a80d69 pushed by emilyriehl
October 8, 2024 21:48 15s main
main
October 8, 2024 21:48 15s
missing leanok Lint Style #195: Commit c2639b2 pushed by emilyriehl
October 8, 2024 21:17 15s main
main
October 8, 2024 21:17 15s
remoted attempt to have two lean tags on one proposition Lint Style #194: Commit 010628d pushed by emilyriehl
October 8, 2024 21:12 12s main
main
October 8, 2024 21:12 12s
updated mathlib references on monoidal categories Lint Style #193: Commit 4a9559b pushed by emilyriehl
October 8, 2024 20:33 13s main
main
October 8, 2024 20:33 13s
[create-pull-request] automated change (#21) Lint Style #192: Commit 19dcda9 pushed by pitmonticone
October 7, 2024 08:23 12s main
main
October 7, 2024 08:23 12s
[create-pull-request] automated change (#20) Lint Style #191: Commit 7d86d9b pushed by pitmonticone
October 6, 2024 14:19 13s main
main
October 6, 2024 14:19 13s
Merge branch 'main' of https://github.com/emilyriehl/infinity-cosmos Lint Style #190: Commit 91eb658 pushed by pitmonticone
October 4, 2024 15:47 11s main
main
October 4, 2024 15:47 11s
[create-pull-request] automated change (#19) Lint Style #189: Commit 477a7ff pushed by pitmonticone
October 3, 2024 13:36 15s main
main
October 3, 2024 13:36 15s
refactor(CoherentIso): partial golf Lint Style #188: Commit 170e14a pushed by pitmonticone
October 3, 2024 09:44 13s main
main
October 3, 2024 09:44 13s
refactor(Wombat): golf Lint Style #187: Commit 4aace01 pushed by pitmonticone
October 3, 2024 09:44 12s main
main
October 3, 2024 09:44 12s
refactor(ForMathlib/CategoryTheory/CodiscreteCat) Lint Style #186: Commit 1365d98 pushed by pitmonticone
October 3, 2024 09:18 16s main
main
October 3, 2024 09:18 16s
[create-pull-request] automated change (#18) Lint Style #185: Commit b1165f9 pushed by pitmonticone
October 1, 2024 11:32 15s main
main
October 1, 2024 11:32 15s
bump mathlib Lint Style #184: Commit e5dead5 pushed by emilyriehl
September 29, 2024 21:02 15s main
main
September 29, 2024 21:02 15s
[create-pull-request] automated change (#17) Lint Style #183: Commit 9227e1e pushed by pitmonticone
September 28, 2024 10:19 11s main
main
September 28, 2024 10:19 11s
Update blueprint.yml Lint Style #182: Commit ec2d13f pushed by pitmonticone
September 27, 2024 22:09 11s main
main
September 27, 2024 22:09 11s
Update blueprint.yml Lint Style #181: Commit 68159cc pushed by pitmonticone
September 27, 2024 21:56 13s main
main
September 27, 2024 21:56 13s
Update blueprint.yml Lint Style #180: Commit b4b268d pushed by pitmonticone
September 27, 2024 21:35 13s main
main
September 27, 2024 21:35 13s
Update blueprint.yml Lint Style #179: Commit 9c13dcc pushed by pitmonticone
September 27, 2024 21:22 14s main
main
September 27, 2024 21:22 14s
Update update.yml Lint Style #178: Commit d2e903e pushed by pitmonticone
September 26, 2024 19:37 15s main
main
September 26, 2024 19:37 15s
add reference Lint Style #177: Commit 6c82cb2 pushed by pitmonticone
September 26, 2024 19:22 16s main
main
September 26, 2024 19:22 16s
Merge branch 'main' of https://github.com/emilyriehl/infinity-cosmos Lint Style #176: Commit 27cccc3 pushed by pitmonticone
September 26, 2024 19:01 15s main
main
September 26, 2024 19:01 15s
Merge pull request #16 from emilyriehl/auto-update/patch-idn8f45 Lint Style #175: Commit cca4a87 pushed by pitmonticone
September 26, 2024 18:58 14s main
main
September 26, 2024 18:58 14s
Merge pull request #15 from emilyriehl/coherent-iso Lint Style #174: Commit 0fc736c pushed by emilyriehl
September 26, 2024 18:32 10s main
main
September 26, 2024 18:32 10s
Merge branch 'main' of https://github.com/emilyriehl/infinity-cosmos Lint Style #173: Commit 41ee2a1 pushed by pitmonticone
September 26, 2024 18:32 9s main
main
September 26, 2024 18:32 9s