Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Odd powers of real numbers are strictly increasing agda-unimath CI #12349: Pull request #1737 synchronize by lowasser
1m 19s lowasser:powers-monotonic
lowasser:powers-monotonic
1m 19s
Odd powers of real numbers are strictly increasing agda-unimath CI #12348: Pull request #1737 synchronize by lowasser
53s lowasser:powers-monotonic
lowasser:powers-monotonic
53s
Refactor function actions on cauchy approximations agda-unimath CI #12347: Pull request #1738 synchronize by malarbol
1m 39s malarbol:refactor-function-actions-cauchy-approximations
malarbol:refactor-function-actions-cauchy-approximations
1m 39s
Smallness of the monomorphism predicate agda-unimath CI #12346: Pull request #1749 synchronize by fredrik-bakke
1m 5s fredrik-bakke:edits-monos
fredrik-bakke:edits-monos
1m 5s
Smallness of the monomorphism predicate agda-unimath CI #12345: Pull request #1749 synchronize by fredrik-bakke
1m 8s fredrik-bakke:edits-monos
fredrik-bakke:edits-monos
1m 8s
Refactor function actions on cauchy approximations agda-unimath CI #12344: Pull request #1738 synchronize by malarbol
1m 54s malarbol:refactor-function-actions-cauchy-approximations
malarbol:refactor-function-actions-cauchy-approximations
1m 54s
Metric extensions agda-unimath CI #12343: Pull request #1742 synchronize by malarbol
47s malarbol:refactor-metric-extensions
malarbol:refactor-metric-extensions
47s
Metric extensions agda-unimath CI #12342: Pull request #1742 synchronize by malarbol
54s malarbol:refactor-metric-extensions
malarbol:refactor-metric-extensions
54s
Metric extensions agda-unimath CI #12341: Pull request #1742 synchronize by malarbol
58s malarbol:refactor-metric-extensions
malarbol:refactor-metric-extensions
58s
Smallness of the monomorphism predicate agda-unimath CI #12340: Pull request #1749 opened by fredrik-bakke
13m 30s fredrik-bakke:edits-monos
fredrik-bakke:edits-monos
13m 30s
The absolute convergence test in real Banach spaces agda-unimath CI #12339: Pull request #1714 synchronize by lowasser
1m 8s lowasser:absolute-convergence-banach-spaces
lowasser:absolute-convergence-banach-spaces
1m 8s
Sine and cosine agda-unimath CI #12338: Pull request #1748 opened by lowasser
1m 17s lowasser:cosine
lowasser:cosine
1m 17s
The natural exponential function on real numbers agda-unimath CI #12337: Pull request #1747 synchronize by lowasser
1m 9s lowasser:exponential-function
lowasser:exponential-function
1m 9s
The absolute convergence test in real Banach spaces agda-unimath CI #12336: Pull request #1714 ready_for_review by lowasser
1m 21s lowasser:absolute-convergence-banach-spaces
lowasser:absolute-convergence-banach-spaces
1m 21s
The natural exponential function on real numbers agda-unimath CI #12335: Pull request #1747 opened by lowasser
1m 6s lowasser:exponential-function
lowasser:exponential-function
1m 6s
The ratio test for convergence in real Banach spaces agda-unimath CI #12334: Pull request #1716 synchronize by lowasser
1m 9s lowasser:ratio-test
lowasser:ratio-test
1m 9s
Rational powers of positive real numbers agda-unimath CI #12333: Pull request #1743 synchronize by lowasser
1m 16s lowasser:int-frac-power-positive-real
lowasser:int-frac-power-positive-real
1m 16s
Odd roots of real numbers agda-unimath CI #12332: Pull request #1739 synchronize by lowasser
1m 9s lowasser:odd-roots-reals
lowasser:odd-roots-reals
1m 9s
Odd powers of real numbers are strictly increasing agda-unimath CI #12331: Pull request #1737 synchronize by lowasser
1m 51s lowasser:powers-monotonic
lowasser:powers-monotonic
1m 51s
Odd powers of real numbers are strictly increasing agda-unimath CI #12330: Pull request #1737 synchronize by lowasser
1m 37s lowasser:powers-monotonic
lowasser:powers-monotonic
1m 37s
Basics of finite probability theory agda-unimath CI #12329: Pull request #1626 synchronize by malarbol
56s malarbol:probability-theory
malarbol:probability-theory
56s
Basics of finite probability theory agda-unimath CI #12328: Pull request #1626 synchronize by malarbol
49s malarbol:probability-theory
malarbol:probability-theory
49s
Basics of finite probability theory agda-unimath CI #12327: Pull request #1626 synchronize by malarbol
44s malarbol:probability-theory
malarbol:probability-theory
44s
Basics of finite probability theory agda-unimath CI #12326: Pull request #1626 synchronize by malarbol
1m 6s malarbol:probability-theory
malarbol:probability-theory
1m 6s
Basics of finite probability theory agda-unimath CI #12325: Pull request #1626 synchronize by malarbol
1m 16s malarbol:probability-theory
malarbol:probability-theory
1m 16s