Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Closure properties of π-finite types agda-unimath CI #9312: Pull request #1311 synchronize by fredrik-bakke
March 5, 2025 20:34 5m 34s fredrik-bakke:pi-finite
fredrik-bakke:pi-finite
March 5, 2025 20:34 5m 34s
Closure properties of π-finite types agda-unimath CI #9311: Pull request #1311 ready_for_review by fredrik-bakke
March 5, 2025 20:10 5m 24s fredrik-bakke:pi-finite
fredrik-bakke:pi-finite
March 5, 2025 20:10 5m 24s
Closure properties of π-finite types agda-unimath CI #9310: Pull request #1311 synchronize by fredrik-bakke
March 5, 2025 20:10 26s fredrik-bakke:pi-finite
fredrik-bakke:pi-finite
March 5, 2025 20:10 26s
Closure properties of π-finite types agda-unimath CI #9309: Pull request #1311 synchronize by fredrik-bakke
March 5, 2025 19:56 5m 39s fredrik-bakke:pi-finite
fredrik-bakke:pi-finite
March 5, 2025 19:56 5m 39s
Closure properties of π-finite types agda-unimath CI #9308: Pull request #1311 synchronize by fredrik-bakke
March 5, 2025 19:53 3m 29s fredrik-bakke:pi-finite
fredrik-bakke:pi-finite
March 5, 2025 19:53 3m 29s
Minimum and maximum on the lower, upper, and usual Dedekind real numbers agda-unimath CI #9307: Pull request #1335 synchronize by lowasser
March 5, 2025 19:33 3m 35s lowasser:min-max-lower-upper
lowasser:min-max-lower-upper
March 5, 2025 19:33 3m 35s
Transposing addition and subtraction through rational inequalities agda-unimath CI #9306: Pull request #1339 synchronize by lowasser
March 5, 2025 19:20 54s lowasser:transposing-inequalities-retractions
lowasser:transposing-inequalities-retractions
March 5, 2025 19:20 54s
Cauchy sequences in metric spaces agda-unimath CI #9305: Pull request #1347 synchronize by lowasser
March 5, 2025 19:09 1m 10s lowasser:cauchy-sequence-to-cauchy-approximation
lowasser:cauchy-sequence-to-cauchy-approximation
March 5, 2025 19:09 1m 10s
Cauchy sequences in metric spaces agda-unimath CI #9304: Pull request #1347 synchronize by lowasser
March 5, 2025 18:56 1m 11s lowasser:cauchy-sequence-to-cauchy-approximation
lowasser:cauchy-sequence-to-cauchy-approximation
March 5, 2025 18:56 1m 11s
Cauchy sequences in metric spaces agda-unimath CI #9303: Pull request #1347 synchronize by lowasser
March 5, 2025 18:18 6m 24s lowasser:cauchy-sequence-to-cauchy-approximation
lowasser:cauchy-sequence-to-cauchy-approximation
March 5, 2025 18:18 6m 24s
Closure properties of π-finite types agda-unimath CI #9302: Pull request #1311 synchronize by fredrik-bakke
March 5, 2025 10:44 3m 32s fredrik-bakke:pi-finite
fredrik-bakke:pi-finite
March 5, 2025 10:44 3m 32s
Closure properties of π-finite types agda-unimath CI #9301: Pull request #1311 synchronize by fredrik-bakke
March 5, 2025 10:43 44s fredrik-bakke:pi-finite
fredrik-bakke:pi-finite
March 5, 2025 10:43 44s
Introduction to Homotopy Type Theory, Chapter 2 agda-unimath CI #9300: Pull request #1346 synchronize by VojtechStep
March 4, 2025 23:09 16m 47s VojtechStep:feature/intro-hott-2
VojtechStep:feature/intro-hott-2
March 4, 2025 23:09 16m 47s
Minimum and maximum on the lower, upper, and usual Dedekind real numbers agda-unimath CI #9299: Pull request #1335 ready_for_review by lowasser
March 4, 2025 15:28 5m 28s lowasser:min-max-lower-upper
lowasser:min-max-lower-upper
March 4, 2025 15:28 5m 28s
Minimum and maximum on the lower, upper, and usual Dedekind real numbers agda-unimath CI #9298: Pull request #1335 synchronize by lowasser
March 4, 2025 15:28 17s lowasser:min-max-lower-upper
lowasser:min-max-lower-upper
March 4, 2025 15:28 17s
Transposing addition and subtraction through rational inequalities agda-unimath CI #9297: Pull request #1339 synchronize by lowasser
March 4, 2025 15:15 57s lowasser:transposing-inequalities-retractions
lowasser:transposing-inequalities-retractions
March 4, 2025 15:15 57s
Transposing addition and subtraction through rational inequalities agda-unimath CI #9296: Pull request #1339 synchronize by lowasser
March 4, 2025 15:10 58s lowasser:transposing-inequalities-retractions
lowasser:transposing-inequalities-retractions
March 4, 2025 15:10 58s
Transposing addition and subtraction through rational inequalities agda-unimath CI #9295: Pull request #1339 synchronize by lowasser
March 4, 2025 15:08 54s lowasser:transposing-inequalities-retractions
lowasser:transposing-inequalities-retractions
March 4, 2025 15:08 54s
Cauchy sequences in metric spaces agda-unimath CI #9294: Pull request #1347 ready_for_review by lowasser
March 4, 2025 15:07 6m 10s lowasser:cauchy-sequence-to-cauchy-approximation
lowasser:cauchy-sequence-to-cauchy-approximation
March 4, 2025 15:07 6m 10s
Cauchy sequences in metric spaces agda-unimath CI #9293: Pull request #1347 synchronize by lowasser
March 4, 2025 15:04 3m 41s lowasser:cauchy-sequence-to-cauchy-approximation
lowasser:cauchy-sequence-to-cauchy-approximation
March 4, 2025 15:04 3m 41s
Cauchy sequences in metric spaces agda-unimath CI #9292: Pull request #1347 synchronize by lowasser
March 4, 2025 15:03 1m 34s lowasser:cauchy-sequence-to-cauchy-approximation
lowasser:cauchy-sequence-to-cauchy-approximation
March 4, 2025 15:03 1m 34s
Raising a real number's universe level Clean up caches generated by pull requests #627: Pull request #1286 closed by fredrik-bakke
March 3, 2025 15:08 18s lowasser:raise-real
lowasser:raise-real
March 3, 2025 15:08 18s
Raising a real number's universe level (#1286) Build and deploy library website #693: Commit 54a5397 pushed by fredrik-bakke
March 3, 2025 15:08 7m 18s master
master
March 3, 2025 15:08 7m 18s
Raising a real number's universe level (#1286) Profile Library Typechecking #235: Commit 54a5397 pushed by fredrik-bakke
March 3, 2025 15:08 12m 16s master
master
March 3, 2025 15:08 12m 16s
Raising a real number's universe level (#1286) agda-unimath CI #9291: Commit 54a5397 pushed by fredrik-bakke
March 3, 2025 15:08 3m 37s master
master
March 3, 2025 15:08 3m 37s