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

Merge branch 'main' of github.com:emilyriehl/infinity-cosmos Lint Style #147: Commit b9bbaa4 pushed by emilyriehl
September 19, 2024 19:30 13s main
main
September 19, 2024 19:30 13s
Merge pull request #10 from mckoen/main Lint Style #146: Commit 06d01e6 pushed by emilyriehl
September 19, 2024 19:24 12s main
main
September 19, 2024 19:24 12s
The coherent iso Lint Style #145: Pull request #11 synchronize by AlvaroRBO
September 19, 2024 19:18 14s coherent-iso
coherent-iso
September 19, 2024 19:18 14s
The coherent iso Lint Style #144: Pull request #11 synchronize by emilyriehl
September 18, 2024 21:10 12s coherent-iso
coherent-iso
September 18, 2024 21:10 12s
The coherent iso Lint Style #143: Pull request #11 synchronize by emilyriehl
September 17, 2024 17:36 16s coherent-iso
coherent-iso
September 17, 2024 17:36 16s
The coherent iso Lint Style #142: Pull request #11 synchronize by emilyriehl
September 17, 2024 15:56 14s coherent-iso
coherent-iso
September 17, 2024 15:56 14s
The coherent iso Lint Style #141: Pull request #11 synchronize by emilyriehl
September 16, 2024 21:54 14s coherent-iso
coherent-iso
September 16, 2024 21:54 14s
The coherent iso Lint Style #140: Pull request #11 opened by emilyriehl
September 16, 2024 21:51 13s coherent-iso
coherent-iso
September 16, 2024 21:51 13s
feat: D4 (define trivial fibrations) Lint Style #139: Pull request #10 opened by mckoen
September 16, 2024 00:50 15s mckoen:main
mckoen:main
September 16, 2024 00:50 15s
proof from Adam Topaz Lint Style #138: Commit f780778 pushed by emilyriehl
September 15, 2024 22:50 11s main
main
September 15, 2024 22:50 11s
contributors Lint Style #137: Commit cd285a3 pushed by emilyriehl
September 15, 2024 22:35 13s main
main
September 15, 2024 22:35 13s
attempt to fix a circular import error Lint Style #136: Commit 23626e3 pushed by emilyriehl
September 15, 2024 22:13 13s main
main
September 15, 2024 22:13 13s
reorganization to put simplicial category stuff in correct subfiles Lint Style #135: Commit afcdf2c pushed by emilyriehl
September 15, 2024 21:01 12s main
main
September 15, 2024 21:01 12s
Merge pull request #9 from dagurtomas/L3 Lint Style #134: Commit de89c99 pushed by emilyriehl
September 15, 2024 18:37 11s main
main
September 15, 2024 18:37 11s
feat: L3 (define simplicially enriched limits) Lint Style #133: Pull request #9 opened by dagurtomas
September 13, 2024 19:45 11s dagurtomas:L3
dagurtomas:L3
September 13, 2024 19:45 11s
bump dependencies Lint Style #132: Commit e895ec0 pushed by pitmonticone
September 13, 2024 17:01 13s main
main
September 13, 2024 17:01 13s
Merge pull request #8 from dagurtomas/SSetMonoidal Lint Style #131: Commit 40e71b0 pushed by emilyriehl
September 13, 2024 16:45 11s main
main
September 13, 2024 16:45 11s
chore: cleanup in the file InfinityCosmos.Basic Lint Style #128: Pull request #8 opened by dagurtomas
September 13, 2024 07:12 13s dagurtomas:SSetMonoidal
dagurtomas:SSetMonoidal
September 13, 2024 07:12 13s
Add missing statement-level leanok Lint Style #127: Commit 6dca57b pushed by pitmonticone
September 11, 2024 13:27 10s main
main
September 11, 2024 13:27 10s
Bump mathlib Lint Style #126: Commit e9ca1ca pushed by pitmonticone
September 9, 2024 21:54 12s main
main
September 9, 2024 21:54 12s
Update README.md Lint Style #125: Commit 075c473 pushed by pitmonticone
September 9, 2024 19:36 11s main
main
September 9, 2024 19:36 11s
updated zulip link Lint Style #124: Commit 2ca0994 pushed by emilyriehl
September 9, 2024 17:02 13s main
main
September 9, 2024 17:02 13s
announcement updates Lint Style #123: Commit a5a68e4 pushed by emilyriehl
September 9, 2024 16:46 21s main
main
September 9, 2024 16:46 21s
updates to discussion about cotensors Lint Style #122: Commit e1061af pushed by emilyriehl
September 9, 2024 16:43 14s main
main
September 9, 2024 16:43 14s
merge Lint Style #121: Commit 9a86df4 pushed by emilyriehl
September 9, 2024 15:22 16s main
main
September 9, 2024 15:22 16s