Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

The sum of geometric series in the real numbers agda-unimath CI #11726: Pull request #1676 synchronize by lowasser
57s lowasser:power-small-real
lowasser:power-small-real
57s
The sum of geometric series in the real numbers agda-unimath CI #11725: Pull request #1676 synchronize by lowasser
59s lowasser:power-small-real
lowasser:power-small-real
59s
Powers of real numbers agda-unimath CI #11724: Pull request #1673 synchronize by lowasser
56s lowasser:power-real
lowasser:power-real
56s
The sum of geometric series in the real numbers agda-unimath CI #11723: Pull request #1676 opened by lowasser
1m 18s lowasser:power-small-real
lowasser:power-small-real
1m 18s
Powers of real numbers agda-unimath CI #11722: Pull request #1673 synchronize by lowasser
5m 33s lowasser:power-real
lowasser:power-real
5m 33s
The sum of rational geometric series agda-unimath CI #11721: Pull request #1672 synchronize by lowasser
1m 55s lowasser:geo-seq-rat
lowasser:geo-seq-rat
1m 55s
Cleanups in real numbers agda-unimath CI #11720: Pull request #1675 synchronize by lowasser
1m 59s lowasser:cleanup-reals
lowasser:cleanup-reals
1m 59s
Cleanups in real numbers agda-unimath CI #11719: Pull request #1675 opened by lowasser
1m 20s lowasser:cleanup-reals
lowasser:cleanup-reals
1m 20s
Multivariable loop spaces agda-unimath CI #11718: Pull request #1663 synchronize by fredrik-bakke
1m 7s fredrik-bakke:loop
fredrik-bakke:loop
1m 7s
Multivariable loop spaces agda-unimath CI #11717: Pull request #1663 synchronize by fredrik-bakke
1m 7s fredrik-bakke:loop
fredrik-bakke:loop
1m 7s
Multivariable loop spaces agda-unimath CI #11716: Pull request #1663 synchronize by fredrik-bakke
1m 7s fredrik-bakke:loop
fredrik-bakke:loop
1m 7s
Multivariable loop spaces agda-unimath CI #11715: Pull request #1663 synchronize by fredrik-bakke
1m 10s fredrik-bakke:loop
fredrik-bakke:loop
1m 10s
The sum of rational geometric series agda-unimath CI #11714: Pull request #1672 ready_for_review by lowasser
9m 4s lowasser:geo-seq-rat
lowasser:geo-seq-rat
9m 4s
The sum of rational geometric series agda-unimath CI #11713: Pull request #1672 synchronize by lowasser
38s lowasser:geo-seq-rat
lowasser:geo-seq-rat
38s
Subuniverse equivalences agda-unimath CI #11712: Pull request #1669 synchronize by fredrik-bakke
1m 12s fredrik-bakke:subuniverse-equivalences
fredrik-bakke:subuniverse-equivalences
1m 12s
Subuniverse equivalences agda-unimath CI #11711: Pull request #1669 synchronize by fredrik-bakke
1m 6s fredrik-bakke:subuniverse-equivalences
fredrik-bakke:subuniverse-equivalences
1m 6s
Subuniverse equivalences agda-unimath CI #11710: Pull request #1669 synchronize by fredrik-bakke
44s fredrik-bakke:subuniverse-equivalences
fredrik-bakke:subuniverse-equivalences
44s
Subuniverse equivalences agda-unimath CI #11709: Pull request #1669 synchronize by fredrik-bakke
49s fredrik-bakke:subuniverse-equivalences
fredrik-bakke:subuniverse-equivalences
49s
Improve proofs for truncation equivalences agda-unimath CI #11708: Pull request #1547 synchronize by fredrik-bakke
5m 46s fredrik-bakke:informal-proof-truncation-equivs
fredrik-bakke:informal-proof-truncation-equivs
5m 46s
Improve proofs for truncation equivalences agda-unimath CI #11707: Pull request #1547 synchronize by fredrik-bakke
22s fredrik-bakke:informal-proof-truncation-equivs
fredrik-bakke:informal-proof-truncation-equivs
22s
Improve proofs for truncation equivalences agda-unimath CI #11706: Pull request #1547 synchronize by fredrik-bakke
3m 32s fredrik-bakke:informal-proof-truncation-equivs
fredrik-bakke:informal-proof-truncation-equivs
3m 32s
Multivariable loop spaces agda-unimath CI #11705: Pull request #1663 ready_for_review by fredrik-bakke
1m 26s fredrik-bakke:loop
fredrik-bakke:loop
1m 26s
Multivariable loop spaces agda-unimath CI #11704: Pull request #1663 synchronize by fredrik-bakke
38s fredrik-bakke:loop
fredrik-bakke:loop
38s
Multivariable loop spaces agda-unimath CI #11703: Pull request #1663 synchronize by fredrik-bakke
47s fredrik-bakke:loop
fredrik-bakke:loop
47s
Multivariable loop spaces agda-unimath CI #11702: Pull request #1663 synchronize by fredrik-bakke
56s fredrik-bakke:loop
fredrik-bakke:loop
56s