Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,484 workflow runs
4,484 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minimum and maximum for decidable total orders (#1291) Profile Library Typechecking #192: Commit 7945fa5 pushed by EgbertRijke
February 7, 2025 20:39 12m 19s master
master
February 7, 2025 20:39 12m 19s
Minimum and maximum for decidable total orders (#1291) Build and deploy library website #650: Commit 7945fa5 pushed by EgbertRijke
February 7, 2025 20:39 6m 38s master
master
February 7, 2025 20:39 6m 38s
Minimum and maximum for decidable total orders (#1291) agda-unimath CI #8769: Commit 7945fa5 pushed by EgbertRijke
February 7, 2025 20:39 3m 22s master
master
February 7, 2025 20:39 3m 22s
Minimum and maximum for decidable total orders agda-unimath CI #8768: Pull request #1291 synchronize by lowasser
February 7, 2025 20:04 3m 36s lowasser:total-min-max
lowasser:total-min-max
February 7, 2025 20:04 3m 36s
Minimum and maximum for decidable total orders agda-unimath CI #8767: Pull request #1291 opened by lowasser
February 7, 2025 20:03 44s lowasser:total-min-max
lowasser:total-min-max
February 7, 2025 20:03 44s
Refactor elementary number theory agda-unimath CI #8766: Pull request #1211 synchronize by EgbertRijke
February 7, 2025 19:54 7m 40s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
February 7, 2025 19:54 7m 40s
Refactor elementary number theory agda-unimath CI #8765: Pull request #1211 synchronize by EgbertRijke
February 7, 2025 19:20 7m 14s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
February 7, 2025 19:20 7m 14s
Minimum operation on rational numbers agda-unimath CI #8764: Pull request #1290 synchronize by lowasser
February 7, 2025 17:16 3m 24s lowasser:minimum-rational
lowasser:minimum-rational
February 7, 2025 17:16 3m 24s
Minimum operation on rational numbers agda-unimath CI #8763: Pull request #1290 opened by lowasser
February 7, 2025 16:54 3m 19s lowasser:minimum-rational
lowasser:minimum-rational
February 7, 2025 16:54 3m 19s
Dedekind reals are arithmetically located agda-unimath CI #8762: Pull request #1273 synchronize by lowasser
February 7, 2025 00:45 3m 54s lowasser:located-implies-arithmetically-located
lowasser:located-implies-arithmetically-located
February 7, 2025 00:45 3m 54s
Real numbers are dense agda-unimath CI #8761: Pull request #1287 synchronize by lowasser
February 7, 2025 00:44 3m 30s lowasser:dense-reals
lowasser:dense-reals
February 7, 2025 00:44 3m 30s
Large poset of real numbers Clean up caches generated by pull requests #574: Pull request #1289 closed by fredrik-bakke
February 7, 2025 00:22 13s lowasser:large-poset-real
lowasser:large-poset-real
February 7, 2025 00:22 13s
Large poset of real numbers (#1289) agda-unimath CI #8760: Commit f335df0 pushed by fredrik-bakke
February 7, 2025 00:22 3m 24s master
master
February 7, 2025 00:22 3m 24s
Large poset of real numbers (#1289) Build and deploy library website #649: Commit f335df0 pushed by fredrik-bakke
February 7, 2025 00:22 6m 19s master
master
February 7, 2025 00:22 6m 19s
Large poset of real numbers (#1289) Profile Library Typechecking #191: Commit f335df0 pushed by fredrik-bakke
February 7, 2025 00:22 12m 8s master
master
February 7, 2025 00:22 12m 8s
Large poset of real numbers agda-unimath CI #8759: Pull request #1289 opened by lowasser
February 7, 2025 00:19 3m 17s lowasser:large-poset-real
lowasser:large-poset-real
February 7, 2025 00:19 3m 17s
Relationships between inequality, strict inequality, and their negations on reals agda-unimath CI #8758: Pull request #1288 opened by lowasser
February 7, 2025 00:09 3m 38s lowasser:ineq-strict-ineq-real
lowasser:ineq-strict-ineq-real
February 7, 2025 00:09 3m 38s
Raising a real number's universe level agda-unimath CI #8757: Pull request #1286 synchronize by lowasser
February 7, 2025 00:01 3m 44s lowasser:raise-real
lowasser:raise-real
February 7, 2025 00:01 3m 44s
Real numbers are dense agda-unimath CI #8756: Pull request #1287 opened by lowasser
February 6, 2025 23:58 3m 25s lowasser:dense-reals
lowasser:dense-reals
February 6, 2025 23:58 3m 25s
Dedekind reals are arithmetically located agda-unimath CI #8755: Pull request #1273 synchronize by lowasser
February 6, 2025 23:46 16m 6s lowasser:located-implies-arithmetically-located
lowasser:located-implies-arithmetically-located
February 6, 2025 23:46 16m 6s
Dedekind reals are arithmetically located agda-unimath CI #8754: Pull request #1273 synchronize by lowasser
February 6, 2025 18:53 10m 4s lowasser:located-implies-arithmetically-located
lowasser:located-implies-arithmetically-located
February 6, 2025 18:53 10m 4s
Dedekind reals are arithmetically located agda-unimath CI #8753: Pull request #1273 synchronize by lowasser
February 6, 2025 18:52 1m 30s lowasser:located-implies-arithmetically-located
lowasser:located-implies-arithmetically-located
February 6, 2025 18:52 1m 30s
For p q : ℚ, succ-ℚ p * q = q + (p * q) (#1282) agda-unimath CI #8752: Commit 8662d37 pushed by fredrik-bakke
February 6, 2025 18:51 3m 38s master
master
February 6, 2025 18:51 3m 38s
For p q : ℚ, succ-ℚ p * q = q + (p * q) (#1282) Build and deploy library website #648: Commit 8662d37 pushed by fredrik-bakke
February 6, 2025 18:51 6m 52s master
master
February 6, 2025 18:51 6m 52s
For p q : ℚ, succ-ℚ p * q = q + (p * q) (#1282) Profile Library Typechecking #190: Commit 8662d37 pushed by fredrik-bakke
February 6, 2025 18:51 17m 27s master
master
February 6, 2025 18:51 17m 27s