Skip to content

Actions: UniMath/agda-unimath

Actions

Build and deploy library website

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yaml
302 workflow runs
302 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hilbert spaces (#1713) Build and deploy library website #879: Commit ba79ddf pushed by fredrik-bakke
7m 28s master
master
7m 28s
Apartness of reals agrees with apartness in the heyting field (#1744) Build and deploy library website #878: Commit 7b80669 pushed by fredrik-bakke
8m 37s master
master
8m 37s
Integer powers of positive reals (#1741) Build and deploy library website #877: Commit 36823a3 pushed by fredrik-bakke
7m 47s master
master
7m 47s
Series in Banach spaces (#1710) Build and deploy library website #876: Commit b6488f0 pushed by fredrik-bakke
9m 38s master
master
9m 38s
Cauchy-Schwarz inequality (#1712) Build and deploy library website #875: Commit c094ed8 pushed by fredrik-bakke
8m 12s master
master
8m 12s
Register two Wikipedia theorems (#1709) Build and deploy library website #874: Commit f5c8bbf pushed by fredrik-bakke
7m 19s master
master
7m 19s
chore: Fix two sections on connected/truncated maps (#1727) Build and deploy library website #873: Commit 845e1f1 pushed by VojtechStep
19m 15s master
master
19m 15s
chore: New Prettier formatting (#1733) Build and deploy library website #872: Commit 013ee80 pushed by fredrik-bakke
21m 5s master
master
21m 5s
Normed real vector spaces (#1704) Build and deploy library website #871: Commit fc5684f pushed by fredrik-bakke
7m 41s master
master
7m 41s
Inner product spaces (#1705) Build and deploy library website #870: Commit 6f37f04 pushed by fredrik-bakke
7m 56s master
master
7m 56s
Complex vector spaces (#1692) Build and deploy library website #869: Commit abcdc62 pushed by fredrik-bakke
8m 1s master
master
8m 1s
Derivatives of real functions defined on proper closed intervals (#1680) Build and deploy library website #868: Commit e3ca3a6 pushed by fredrik-bakke
7m 36s master
master
7m 36s
Vector spaces (#1689) Build and deploy library website #867: Commit e0cb7f6 pushed by fredrik-bakke
8m 38s master
master
8m 38s
Large left modules (#1721) Build and deploy library website #866: Commit dd13c17 pushed by fredrik-bakke
7m 59s master
master
7m 59s
The square root of two is irrational (#1718) Build and deploy library website #865: Commit e53405b pushed by fredrik-bakke
11m 48s master
master
11m 48s
Large function commutative rings (#1719) Build and deploy library website #864: Commit ad36dd3 pushed by fredrik-bakke
11m 28s master
master
11m 28s
The harmonic series diverges (#1708) Build and deploy library website #863: Commit ac54453 pushed by fredrik-bakke
11m 37s master
master
11m 37s
Multiplicative inverses of nonzero complex numbers (#1684) Build and deploy library website #862: Commit 446ef79 pushed by fredrik-bakke
8m 20s master
master
8m 20s
Every point in a proper closed interval in the real numbers is an acc… Build and deploy library website #861: Commit cfa9570 pushed by fredrik-bakke
15s master
master
15s
Standardize scalar multiplication on all sorts of rings (#1707) Build and deploy library website #860: Commit de15078 pushed by fredrik-bakke
12m 42s master
master
12m 42s
Double negation of trichotomy on the reals (#1694) Build and deploy library website #859: Commit 01327a7 pushed by fredrik-bakke
8m 46s master
master
8m 46s
Subuniverse equivalences and connected maps (#1669) Build and deploy library website #858: Commit ffa7c94 pushed by fredrik-bakke
18m 50s master
master
18m 50s
chore: Rename extension to extension-map and lift to lift-map… Build and deploy library website #857: Commit 708b9ea pushed by fredrik-bakke
17m 16s master
master
17m 16s
Refactor extensions of maps (#1695) Build and deploy library website #856: Commit 92d51e6 pushed by fredrik-bakke
16m 22s master
master
16m 22s
Double negation stability of equality on Dedekind real numbers (#1703) Build and deploy library website #855: Commit ccfcf55 pushed by fredrik-bakke
8m 32s master
master
8m 32s