Skip to content

Actions: UniMath/agda-unimath

Actions

Profile Library Typechecking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
profiling.yaml
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Some standard results on rings and modules (#1454) Profile Library Typechecking #286: Commit 39c4224 pushed by fredrik-bakke
July 27, 2025 21:50 22m 23s master
master
July 27, 2025 21:50 22m 23s
The Whitehead principle (#1453) Profile Library Typechecking #285: Commit 9104f83 pushed by fredrik-bakke
July 27, 2025 21:45 13m 35s master
master
July 27, 2025 21:45 13m 35s
Make rational arithmetic opaque (#1457) Profile Library Typechecking #284: Commit 9b9d9b7 pushed by fredrik-bakke
July 25, 2025 16:00 12m 49s master
master
July 25, 2025 16:00 12m 49s
Update category theory tables and define category of simplicial sets … Profile Library Typechecking #283: Commit b198c68 pushed by VojtechStep
July 24, 2025 20:05 13m 15s master
master
July 24, 2025 20:05 13m 15s
Constancy of maps (#1383) Profile Library Typechecking #282: Commit c6ed70e pushed by VojtechStep
July 15, 2025 15:38 13m 12s master
master
July 15, 2025 15:38 13m 12s
Anodyne maps (#1361) Profile Library Typechecking #281: Commit d8ba99e pushed by VojtechStep
July 15, 2025 14:52 13m 18s master
master
July 15, 2025 14:52 13m 18s
Preunivalence implies strong preunivalence (#1364) Profile Library Typechecking #280: Commit 79d73bf pushed by VojtechStep
July 15, 2025 14:00 13m 20s master
master
July 15, 2025 14:00 13m 20s
Use classical finite types for convolution reasoning (#1449) Profile Library Typechecking #279: Commit fc2c4cc pushed by fredrik-bakke
June 24, 2025 19:00 13m 18s master
master
June 24, 2025 19:00 13m 18s
Convolution of sequences in commutative semirings and rings (#1444) Profile Library Typechecking #278: Commit c51304d pushed by fredrik-bakke
June 21, 2025 22:58 13m 24s master
master
June 21, 2025 22:58 13m 24s
Dualize limits, right Kan extensions, and monads (#1442) Profile Library Typechecking #277: Commit 8a39e48 pushed by fredrik-bakke
June 21, 2025 22:09 16m 15s master
master
June 21, 2025 22:09 16m 15s
Set coequalizers (#1439) Profile Library Typechecking #276: Commit 8749a19 pushed by fredrik-bakke
June 21, 2025 22:00 12m 40s master
master
June 21, 2025 22:00 12m 40s
Add codensity monads (#1443) Profile Library Typechecking #275: Commit 53f3da9 pushed by fredrik-bakke
June 17, 2025 15:19 13m 18s master
master
June 17, 2025 15:19 13m 18s
Monad algebra fixes (#1441) Profile Library Typechecking #274: Commit b5be7a3 pushed by VojtechStep
June 5, 2025 18:07 13m 3s master
master
June 5, 2025 18:07 13m 3s
Work on monads and ordinary precategory adjunctions (#1427) Profile Library Typechecking #273: Commit e4f6f2c pushed by fredrik-bakke
June 4, 2025 18:51 12m 31s master
master
June 4, 2025 18:51 12m 31s
Fix #1437 (#1438) Profile Library Typechecking #272: Commit eb1651e pushed by VojtechStep
June 4, 2025 16:46 12m 53s master
master
June 4, 2025 16:46 12m 53s
Sums and products over arbitrary finite types (#1367) Profile Library Typechecking #271: Commit c409f0f pushed by fredrik-bakke
June 3, 2025 11:02 12m 42s master
master
June 3, 2025 11:02 12m 42s
Zero approximations (#1424) Profile Library Typechecking #270: Commit e84b3a4 pushed by fredrik-bakke
May 27, 2025 12:27 12m 54s master
master
May 27, 2025 12:27 12m 54s
Add codespell pre-commit hook (#1416) Profile Library Typechecking #269: Commit b05aba1 pushed by VojtechStep
May 22, 2025 17:40 12m 42s master
master
May 22, 2025 17:40 12m 42s
Lipschitz-continuous functions between metric spaces (#1417) Profile Library Typechecking #268: Commit bf40f64 pushed by fredrik-bakke
May 19, 2025 21:37 12m 56s master
master
May 19, 2025 21:37 12m 56s
Define ℝP∞ (#1431) Profile Library Typechecking #267: Commit 3cdee34 pushed by VojtechStep
May 18, 2025 09:49 12m 36s master
master
May 18, 2025 09:49 12m 36s
Linear maps over modules (#1395) Profile Library Typechecking #266: Commit dda797a pushed by fredrik-bakke
May 18, 2025 09:23 12m 27s master
master
May 18, 2025 09:23 12m 27s
Add graph legend (#1363) Profile Library Typechecking #265: Commit c33a72e pushed by fredrik-bakke
May 16, 2025 12:28 13m 7s master
master
May 16, 2025 12:28 13m 7s
Refactor linear algebra to use "tuples" for what was "vectors" (#1397) Profile Library Typechecking #264: Commit 23f1480 pushed by fredrik-bakke
May 14, 2025 09:27 12m 43s master
master
May 14, 2025 09:27 12m 43s
Autoformatting for BibTeX (#1428) Profile Library Typechecking #263: Commit afb5d78 pushed by VojtechStep
May 13, 2025 20:47 12m 32s master
master
May 13, 2025 20:47 12m 32s
Fix three typos related to morphisms (#1425) Profile Library Typechecking #262: Commit fc5ddaf pushed by fredrik-bakke
May 11, 2025 23:13 12m 26s master
master
May 11, 2025 23:13 12m 26s