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

refactor(ForMathlib/HomotopyCat): simplify defs and proofs Lint Style #70: Pull request #5 synchronize by pitmonticone
August 31, 2024 23:00 13s pitmonticone/golfing
pitmonticone/golfing
August 31, 2024 23:00 13s
refactor(ForMathlib/HomotopyCat): simplify defs and proofs Lint Style #69: Pull request #5 opened by pitmonticone
August 31, 2024 22:52 10s pitmonticone/golfing
pitmonticone/golfing
August 31, 2024 22:52 10s
cut notes to self written during the initial formalization and added … Lint Style #68: Commit d3f05c5 pushed by emilyriehl
August 31, 2024 18:19 11s main
main
August 31, 2024 18:19 11s
refactor: golf HomotopyCat.lean Lint Style #67: Commit d241835 pushed by pitmonticone
August 28, 2024 13:57 17s main
main
August 28, 2024 13:57 17s
mild renaming Lint Style #66: Commit 044c44b pushed by emilyriehl
August 27, 2024 20:28 13s main
main
August 27, 2024 20:28 13s
refactor: golf HomotopyCat.lean Lint Style #65: Commit 7a59fa6 pushed by pitmonticone
August 27, 2024 08:40 14s main
main
August 27, 2024 08:40 14s
fix universes Lint Style #64: Commit 2bce4c2 pushed by digama0
August 24, 2024 04:49 9s main
main
August 24, 2024 04:49 9s
finished the proof 🎉 Lint Style #63: Commit 3f6492c pushed by digama0
August 24, 2024 01:22 10s main
main
August 24, 2024 01:22 10s
refactor: golf HomotopyCat Lint Style #62: Commit 9c8eb40 pushed by pitmonticone
August 23, 2024 23:52 10s main
main
August 23, 2024 23:52 10s
Add local files to .gitignore Lint Style #61: Commit 8bda653 pushed by pitmonticone
August 23, 2024 23:20 13s main
main
August 23, 2024 23:20 13s
Fix typo Lint Style #60: Commit d7bfcee pushed by pitmonticone
August 23, 2024 23:18 14s main
main
August 23, 2024 23:18 14s
experiments Lint Style #59: Commit 96b1816 pushed by emilyriehl
August 22, 2024 22:43 16s main
main
August 22, 2024 22:43 16s
feat: finished isPointwiseRightKanExtensionAt Lint Style #58: Commit 9ccdd9c pushed by digama0
August 22, 2024 22:04 14s main
main
August 22, 2024 22:04 14s
more work towards 2cosk Lint Style #57: Commit ad16330 pushed by emilyriehl
August 21, 2024 19:57 14s main
main
August 21, 2024 19:57 14s
Bump doc-gen4 correctly to avoid CI fail Lint Style #56: Commit 03b4a60 pushed by pitmonticone
August 20, 2024 16:28 15s main
main
August 20, 2024 16:28 15s
Bump dependencies and fix build Lint Style #55: Commit cd94960 pushed by pitmonticone
August 20, 2024 16:01 13s main
main
August 20, 2024 16:01 13s
attempt to add Johan's fixes to wombat but something fails Lint Style #54: Commit 43c9a5d pushed by emilyriehl
August 20, 2024 15:24 15s main
main
August 20, 2024 15:24 15s
testing labeled tizkcd diagrams Lint Style #53: Commit 735d8aa pushed by emilyriehl
August 19, 2024 15:59 15s main
main
August 19, 2024 15:59 15s
attempt to fix tikzcd Lint Style #52: Commit 7cee8ca pushed by emilyriehl
August 19, 2024 15:30 13s main
main
August 19, 2024 15:30 13s
objectwise equalities for fac and univ; new universe error Lint Style #51: Commit ffcd1f7 pushed by emilyriehl
August 18, 2024 21:03 10s main
main
August 18, 2024 21:03 10s
Merge branch 'main' of github.com:emilyriehl/infinity-cosmos Lint Style #50: Commit 3f58a6b pushed by emilyriehl
August 18, 2024 15:07 11s main
main
August 18, 2024 15:07 11s
Golf instance in Wombat.lean Lint Style #49: Commit 33d9260 pushed by pitmonticone
August 18, 2024 13:47 9s main
main
August 18, 2024 13:47 9s
attempt to fix the web tikzcd diagrams Lint Style #48: Commit 0e3d854 pushed by emilyriehl
August 17, 2024 18:48 11s main
main
August 17, 2024 18:48 11s
sorried out the broken proofs in wombat Lint Style #47: Commit d397100 pushed by emilyriehl
August 17, 2024 18:43 13s main
main
August 17, 2024 18:43 13s
Merge branch 'main' of github.com:emilyriehl/infinity-cosmos Lint Style #46: Commit 1367861 pushed by emilyriehl
August 17, 2024 18:16 11s main
main
August 17, 2024 18:16 11s