Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,134 workflow runs
5,134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coinductive definition of the conatural numbers agda-unimath CI #8397: Pull request #1232 synchronize by fredrik-bakke
January 4, 2025 19:04 5m 0s fredrik-bakke:conatural
fredrik-bakke:conatural
January 4, 2025 19:04 5m 0s
Refactor elementary number theory agda-unimath CI #8396: Pull request #1211 synchronize by EgbertRijke
January 4, 2025 19:01 3m 57s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 4, 2025 19:01 3m 57s
Coinductive definition of the conatural numbers agda-unimath CI #8395: Pull request #1232 synchronize by fredrik-bakke
January 4, 2025 18:53 8m 13s fredrik-bakke:conatural
fredrik-bakke:conatural
January 4, 2025 18:53 8m 13s
Coinductive definition of the conatural numbers agda-unimath CI #8394: Pull request #1232 synchronize by fredrik-bakke
January 4, 2025 18:46 4m 46s fredrik-bakke:conatural
fredrik-bakke:conatural
January 4, 2025 18:46 4m 46s
Coinductive definition of the conatural numbers agda-unimath CI #8393: Pull request #1232 opened by fredrik-bakke
January 4, 2025 18:40 4m 16s fredrik-bakke:conatural
fredrik-bakke:conatural
January 4, 2025 18:40 4m 16s
Wild ω-semicategories agda-unimath CI #8392: Pull request #1229 synchronize by fredrik-bakke
January 4, 2025 13:13 1m 6s fredrik-bakke:wild-ω-semicategories
fredrik-bakke:wild-ω-semicategories
January 4, 2025 13:13 1m 6s
Refactor elementary number theory agda-unimath CI #8391: Pull request #1211 synchronize by EgbertRijke
January 4, 2025 02:29 4m 15s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 4, 2025 02:29 4m 15s
Refactor elementary number theory agda-unimath CI #8390: Pull request #1211 synchronize by EgbertRijke
January 4, 2025 02:28 1m 0s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 4, 2025 02:28 1m 0s
Composition operations on spans of spans (#1231) Profile Library Typechecking #144: Commit 6152336 pushed by EgbertRijke
January 3, 2025 19:34 12m 12s master
master
January 3, 2025 19:34 12m 12s
Composition operations on spans of spans (#1231) agda-unimath CI #8389: Commit 6152336 pushed by EgbertRijke
January 3, 2025 19:34 26m 31s master
master
January 3, 2025 19:34 26m 31s
Composition operations on spans of spans Clean up caches generated by pull requests #521: Pull request #1231 closed by EgbertRijke
January 3, 2025 19:34 13s fredrik-bakke:operations-spans-of-types
fredrik-bakke:operations-spans-of-types
January 3, 2025 19:34 13s
Composition operations on spans of spans (#1231) Build and deploy library website #603: Commit 6152336 pushed by EgbertRijke
January 3, 2025 19:34 31m 31s master
master
January 3, 2025 19:34 31m 31s
Composition operations on spans of spans agda-unimath CI #8388: Pull request #1231 synchronize by fredrik-bakke
January 3, 2025 19:26 7m 50s fredrik-bakke:operations-spans-of-types
fredrik-bakke:operations-spans-of-types
January 3, 2025 19:26 7m 50s
Composition operations on spans of spans agda-unimath CI #8387: Pull request #1231 synchronize by fredrik-bakke
January 3, 2025 18:02 25m 40s fredrik-bakke:operations-spans-of-types
fredrik-bakke:operations-spans-of-types
January 3, 2025 18:02 25m 40s
Composition operations on spans of spans agda-unimath CI #8386: Pull request #1231 synchronize by fredrik-bakke
January 3, 2025 18:01 1m 19s fredrik-bakke:operations-spans-of-types
fredrik-bakke:operations-spans-of-types
January 3, 2025 18:01 1m 19s
Composition operations on spans of spans agda-unimath CI #8385: Pull request #1231 synchronize by fredrik-bakke
January 3, 2025 17:53 8m 52s fredrik-bakke:operations-spans-of-types
fredrik-bakke:operations-spans-of-types
January 3, 2025 17:53 8m 52s
Composition operations on spans of spans agda-unimath CI #8384: Pull request #1231 opened by fredrik-bakke
January 3, 2025 17:45 7m 41s fredrik-bakke:operations-spans-of-types
fredrik-bakke:operations-spans-of-types
January 3, 2025 17:45 7m 41s
Wild ω-semicategories agda-unimath CI #8383: Pull request #1229 synchronize by fredrik-bakke
January 3, 2025 16:02 9m 13s fredrik-bakke:wild-ω-semicategories
fredrik-bakke:wild-ω-semicategories
January 3, 2025 16:02 9m 13s
Refactor elementary number theory agda-unimath CI #8382: Pull request #1211 synchronize by EgbertRijke
January 2, 2025 23:23 5m 24s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
January 2, 2025 23:23 5m 24s
observational equality of rationals and addition on reals agda-unimath CI #8381: Pull request #1230 synchronize by blu-bird
December 22, 2024 06:15 7m 28s blu-bird:real-ring
blu-bird:real-ring
December 22, 2024 06:15 7m 28s
observational equality of rationals and addition on reals agda-unimath CI #8380: Pull request #1230 synchronize by blu-bird
December 22, 2024 05:53 7m 55s blu-bird:real-ring
blu-bird:real-ring
December 22, 2024 05:53 7m 55s
observational equality of rationals and addition on reals agda-unimath CI #8379: Pull request #1230 synchronize by blu-bird
December 22, 2024 05:39 7m 19s blu-bird:real-ring
blu-bird:real-ring
December 22, 2024 05:39 7m 19s
observational equality of rationals and addition on reals agda-unimath CI #8378: Pull request #1230 synchronize by blu-bird
December 22, 2024 05:37 2m 36s blu-bird:real-ring
blu-bird:real-ring
December 22, 2024 05:37 2m 36s
observational equality of rationals and addition on reals agda-unimath CI #8377: Pull request #1230 opened by blu-bird
December 22, 2024 03:04 31m 45s blu-bird:real-ring
blu-bird:real-ring
December 22, 2024 03:04 31m 45s
Refactor elementary number theory agda-unimath CI #8376: Pull request #1211 synchronize by EgbertRijke
December 17, 2024 17:22 6m 50s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
December 17, 2024 17:22 6m 50s