Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,760 workflow runs
3,760 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor metric spaces agda-unimath CI #10402: Pull request #1432 synchronize by malarbol
June 25, 2025 19:11 3m 16s malarbol:refactor-metric-spaces
malarbol:refactor-metric-spaces
June 25, 2025 19:11 3m 16s
Refactor metric spaces agda-unimath CI #10401: Pull request #1432 synchronize by malarbol
June 25, 2025 16:37 8m 37s malarbol:refactor-metric-spaces
malarbol:refactor-metric-spaces
June 25, 2025 16:37 8m 37s
Use classical finite types for convolution reasoning Clean up caches generated by pull requests #681: Pull request #1449 closed by fredrik-bakke
June 24, 2025 19:00 12s lowasser:cleanup-fin
lowasser:cleanup-fin
June 24, 2025 19:00 12s
Use classical finite types for convolution reasoning (#1449) Build and deploy library website #738: Commit fc2c4cc pushed by fredrik-bakke
June 24, 2025 19:00 13m 24s master
master
June 24, 2025 19:00 13m 24s
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
Use classical finite types for convolution reasoning (#1449) agda-unimath CI #10400: Commit fc2c4cc pushed by fredrik-bakke
June 24, 2025 19:00 9m 24s master
master
June 24, 2025 19:00 9m 24s
Use classical finite types for convolution reasoning agda-unimath CI #10399: Pull request #1449 synchronize by lowasser
June 24, 2025 18:36 4m 11s lowasser:cleanup-fin
lowasser:cleanup-fin
June 24, 2025 18:36 4m 11s
Use classical finite types for convolution reasoning agda-unimath CI #10398: Pull request #1449 opened by lowasser
June 24, 2025 17:30 8m 53s lowasser:cleanup-fin
lowasser:cleanup-fin
June 24, 2025 17:30 8m 53s
Refactor metric spaces agda-unimath CI #10397: Pull request #1432 synchronize by malarbol
June 23, 2025 20:18 4m 31s malarbol:refactor-metric-spaces
malarbol:refactor-metric-spaces
June 23, 2025 20:18 4m 31s
Refactor metric spaces agda-unimath CI #10396: Pull request #1432 synchronize by malarbol
June 23, 2025 18:49 3m 39s malarbol:refactor-metric-spaces
malarbol:refactor-metric-spaces
June 23, 2025 18:49 3m 39s
Refactor metric spaces agda-unimath CI #10395: Pull request #1432 ready_for_review by malarbol
June 22, 2025 16:13 3m 8s malarbol:refactor-metric-spaces
malarbol:refactor-metric-spaces
June 22, 2025 16:13 3m 8s
Refactor metric spaces agda-unimath CI #10394: Pull request #1432 synchronize by malarbol
June 22, 2025 15:24 10m 4s malarbol:refactor-metric-spaces
malarbol:refactor-metric-spaces
June 22, 2025 15:24 10m 4s
Metric semigroups agda-unimath CI #10393: Pull request #1447 synchronize by malarbol
June 22, 2025 15:08 9m 51s malarbol:metric-semigroups
malarbol:metric-semigroups
June 22, 2025 15:08 9m 51s
Metric semigroups agda-unimath CI #10392: Pull request #1447 synchronize by malarbol
June 22, 2025 15:05 3m 43s malarbol:metric-semigroups
malarbol:metric-semigroups
June 22, 2025 15:05 3m 43s
Convolution of sequences in commutative semirings and rings Clean up caches generated by pull requests #680: Pull request #1444 closed by fredrik-bakke
June 21, 2025 22:58 12s lowasser:convolve-sequences
lowasser:convolve-sequences
June 21, 2025 22:58 12s
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
Convolution of sequences in commutative semirings and rings (#1444) Build and deploy library website #737: Commit c51304d pushed by fredrik-bakke
June 21, 2025 22:58 12m 1s master
master
June 21, 2025 22:58 12m 1s
Convolution of sequences in commutative semirings and rings (#1444) agda-unimath CI #10391: Commit c51304d pushed by fredrik-bakke
June 21, 2025 22:58 8m 47s master
master
June 21, 2025 22:58 8m 47s
Convolution of sequences in commutative semirings and rings agda-unimath CI #10390: Pull request #1444 synchronize by fredrik-bakke
June 21, 2025 22:52 6m 31s lowasser:convolve-sequences
lowasser:convolve-sequences
June 21, 2025 22:52 6m 31s
Dualize limits, right Kan extensions, and monads (#1442) agda-unimath CI #10389: Commit 8a39e48 pushed by fredrik-bakke
June 21, 2025 22:09 3m 48s master
master
June 21, 2025 22:09 3m 48s
Dualize limits, right Kan extensions, and monads (#1442) Build and deploy library website #736: Commit 8a39e48 pushed by fredrik-bakke
June 21, 2025 22:09 7m 37s master
master
June 21, 2025 22:09 7m 37s
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
Dualize limits, right Kan extensions, and monads Clean up caches generated by pull requests #679: Pull request #1442 closed by fredrik-bakke
June 21, 2025 22:09 19s ben-connors:dualpr
ben-connors:dualpr
June 21, 2025 22:09 19s
Dualize limits, right Kan extensions, and monads agda-unimath CI #10388: Pull request #1442 synchronize by fredrik-bakke
June 21, 2025 22:03 6m 9s ben-connors:dualpr
ben-connors:dualpr
June 21, 2025 22:03 6m 9s
Set coequalizers Clean up caches generated by pull requests #678: Pull request #1439 closed by fredrik-bakke
June 21, 2025 22:00 12s ben-connors:coeqpr
ben-connors:coeqpr
June 21, 2025 22:00 12s