Skip to content

Actions: UniMath/agda-unimath

Actions

Profile Library Typechecking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
profiling.yaml
215 workflow runs
215 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Metric properties of real negation, absolute value, addition and maxi… Profile Library Typechecking #261: Commit c3fa85a pushed by fredrik-bakke
May 5, 2025 16:56 13m 4s master
master
May 5, 2025 16:56 13m 4s
Strict orders (#1419) Profile Library Typechecking #260: Commit a9feb0d pushed by fredrik-bakke
May 2, 2025 17:05 12m 31s master
master
May 2, 2025 17:05 12m 31s
Limits of sequences in metric spaces (#1378) Profile Library Typechecking #259: Commit 3b9b9f6 pushed by fredrik-bakke
May 1, 2025 19:55 12m 50s master
master
May 1, 2025 19:55 12m 50s
The short map from a convergent Cauchy approximation in a saturated m… Profile Library Typechecking #258: Commit 8b6b9e9 pushed by fredrik-bakke
May 1, 2025 12:50 12m 54s master
master
May 1, 2025 12:50 12m 54s
Disallow unmatched inline code guards (#1414) Profile Library Typechecking #257: Commit 30ba73e pushed by fredrik-bakke
April 30, 2025 14:40 13m 1s master
master
April 30, 2025 14:40 13m 1s
chore: Spelling corrections by codespell (#1415) Profile Library Typechecking #256: Commit 0d890c3 pushed by VojtechStep
April 28, 2025 10:00 12m 40s master
master
April 28, 2025 10:00 12m 40s
Reframe limited principle of omniscience and variants in terms of dec… Profile Library Typechecking #255: Commit ca4f2f1 pushed by fredrik-bakke
April 25, 2025 23:04 12m 34s master
master
April 25, 2025 23:04 12m 34s