Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor differentiable functions agda-unimath CI #12769: Pull request #1774 synchronize by lowasser
In progress lowasser:restructure-diff
lowasser:restructure-diff
In progress
Algebras over commutative rings agda-unimath CI #12768: Pull request #1780 synchronize by lowasser
7m 12s lowasser:algebras
lowasser:algebras
7m 12s
The constructive intermediate value theorem agda-unimath CI #12767: Pull request #1762 synchronize by lowasser
13m 54s lowasser:ivt
lowasser:ivt
13m 54s
Algebras over commutative rings agda-unimath CI #12766: Pull request #1780 synchronize by lowasser
3m 16s lowasser:algebras
lowasser:algebras
3m 16s
Eigenvalues, eigenvectors, and eigenspaces of linear endomaps agda-unimath CI #12765: Pull request #1765 synchronize by lowasser
2m 36s lowasser:eigenvectors
lowasser:eigenvectors
2m 36s
Refactor differentiable functions agda-unimath CI #12764: Pull request #1774 synchronize by lowasser
6m 18s lowasser:restructure-diff
lowasser:restructure-diff
6m 18s
Refactor differentiable functions agda-unimath CI #12763: Pull request #1774 synchronize by fredrik-bakke
1m 38s lowasser:restructure-diff
lowasser:restructure-diff
1m 38s
Refactor differentiable functions agda-unimath CI #12762: Pull request #1774 synchronize by lowasser
43s lowasser:restructure-diff
lowasser:restructure-diff
43s
Refactor differentiable functions agda-unimath CI #12761: Pull request #1774 synchronize by lowasser
3m 47s lowasser:restructure-diff
lowasser:restructure-diff
3m 47s
Total orders are cotransitive Clean up caches generated by pull requests #860: Pull request #1804 closed by fredrik-bakke
11s fredrik-bakke:some-strict-orders
fredrik-bakke:some-strict-orders
11s
Total orders are cotransitive (#1804) Clean build and profiling of library #149: Commit 4140ab9 pushed by fredrik-bakke
14m 7s master
master
14m 7s
Total orders are cotransitive (#1804) Build and deploy library website #911: Commit 4140ab9 pushed by fredrik-bakke
9m 18s master
master
9m 18s
Total orders are cotransitive agda-unimath CI #12760: Pull request #1804 synchronize by fredrik-bakke
59s fredrik-bakke:some-strict-orders
fredrik-bakke:some-strict-orders
59s
Algebras over commutative rings agda-unimath CI #12759: Pull request #1780 ready_for_review by lowasser
3m 40s lowasser:algebras
lowasser:algebras
3m 40s
Algebras over commutative rings agda-unimath CI #12758: Pull request #1780 synchronize by lowasser
29s lowasser:algebras
lowasser:algebras
29s
Eigenvalues, eigenvectors, and eigenspaces of linear endomaps agda-unimath CI #12757: Pull request #1765 ready_for_review by lowasser
1m 38s lowasser:eigenvectors
lowasser:eigenvectors
1m 38s
Eigenvalues, eigenvectors, and eigenspaces of linear endomaps agda-unimath CI #12756: Pull request #1765 synchronize by lowasser
47s lowasser:eigenvectors
lowasser:eigenvectors
47s
Total orders are cotransitive agda-unimath CI #12755: Pull request #1804 synchronize by fredrik-bakke
2m 43s fredrik-bakke:some-strict-orders
fredrik-bakke:some-strict-orders
2m 43s
Total orders are cotransitive agda-unimath CI #12754: Pull request #1804 synchronize by fredrik-bakke
2m 50s fredrik-bakke:some-strict-orders
fredrik-bakke:some-strict-orders
2m 50s
Total orders are cotransitive agda-unimath CI #12753: Pull request #1804 opened by fredrik-bakke
1m 21s fredrik-bakke:some-strict-orders
fredrik-bakke:some-strict-orders
1m 21s
Smallness of the monomorphism predicate Clean up caches generated by pull requests #859: Pull request #1749 closed by fredrik-bakke
11s fredrik-bakke:edits-monos
fredrik-bakke:edits-monos
11s
Smallness of the monomorphism predicate (#1749) Build and deploy library website #910: Commit 6f3acdf pushed by fredrik-bakke
20m 8s master
master
20m 8s
Smallness of the monomorphism predicate (#1749) Clean build and profiling of library #148: Commit 6f3acdf pushed by fredrik-bakke
13m 56s master
master
13m 56s
Smallness of the monomorphism predicate agda-unimath CI #12752: Pull request #1749 synchronize by fredrik-bakke
10m 29s fredrik-bakke:edits-monos
fredrik-bakke:edits-monos
10m 29s
Smallness of the monomorphism predicate agda-unimath CI #12751: Pull request #1749 synchronize by fredrik-bakke
13m 57s fredrik-bakke:edits-monos
fredrik-bakke:edits-monos
13m 57s