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
292 workflow runs
292 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
strictly increasing real maps on proper closed real intervals (#1952) Build and deploy library website #995: Commit c85d7fb pushed by EgbertRijke
8m 23s master
master
8m 23s
The sequence of rational inverses of factorials of natural numbers (#… Build and deploy library website #994: Commit 6170543 pushed by EgbertRijke
8m 7s master
master
8m 7s
Editing coding style (#1950) Build and deploy library website #993: Commit f6d69af pushed by EgbertRijke
8m 43s master
master
8m 43s
Clamping into closed intervals of ℝ is idempotent (#1949) Build and deploy library website #992: Commit 15e6ccb pushed by EgbertRijke
9m 4s master
master
9m 4s
Multivariable loop spaces (#1663) Build and deploy library website #991: Commit 9e552e5 pushed by EgbertRijke
15m 20s master
master
15m 20s
Remove pre-allocation in benchmarking (#1593) Build and deploy library website #990: Commit 381b22c pushed by EgbertRijke
12m 33s master
master
12m 33s
Linear congruence theorem (#1829) Build and deploy library website #989: Commit 8c3ba67 pushed by EgbertRijke
15m 33s master
master
15m 33s
Parametricity of discrete types (#1875) Build and deploy library website #988: Commit d9cb297 pushed by EgbertRijke
14m 14s master
master
14m 14s
Organize slice (#1784) Build and deploy library website #987: Commit be95090 pushed by EgbertRijke
22m 13s master
master
22m 13s
The type of permutations on n elements is finite with cardinality n! … Build and deploy library website #986: Commit 05cf7be pushed by EgbertRijke
16m 36s master
master
16m 36s
Remove dependency between BUILTIN and postulates (#1373) Build and deploy library website #985: Commit 349f1a2 pushed by EgbertRijke
21m 45s master
master
21m 45s
Universal property of Cauchy pseudocompletions and short maps of pseu… Build and deploy library website #984: Commit 7b66474 pushed by EgbertRijke
9m 6s master
master
9m 6s
Break out real-analysis from analysis (#1941) Build and deploy library website #983: Commit a23557e pushed by EgbertRijke
8m 12s master
master
8m 12s
Inserting and removing elements in finite sequences (#1929) Build and deploy library website #982: Commit 6598e02 pushed by EgbertRijke
11m 44s master
master
11m 44s
Subalgebras of unital associative algebras (#1937) Build and deploy library website #981: Commit 68cfbac pushed by EgbertRijke
8m 17s master
master
8m 17s
Use multiplicative over additive terminology for products in semigrou… Build and deploy library website #980: Commit 5759a76 pushed by EgbertRijke
14m 41s master
master
14m 41s
Dependent products of real vector spaces (#1943) Build and deploy library website #979: Commit 76d8316 pushed by EgbertRijke
22m 19s master
master
22m 19s
Telescoping sums in abelian groups (#1944) Build and deploy library website #978: Commit ba8b3d2 pushed by EgbertRijke
25m 16s master
master
25m 16s
Remove Vojtěch Štěpančík from maintainers (#1934) Build and deploy library website #977: Commit 1388f91 pushed by EgbertRijke
7m 59s master
master
7m 59s
The product rule for derivatives (#1771) Build and deploy library website #976: Commit 984e7a4 pushed by EgbertRijke
16m 14s master
master
16m 14s
Add a Random Module button (#1918) Build and deploy library website #975: Commit f217ea9 pushed by fredrik-bakke
9m 30s master
master
9m 30s
The large precategory of vector spaces (#1919) Build and deploy library website #974: Commit d5dd07c pushed by fredrik-bakke
9m 13s master
master
9m 13s
Invertible elements in large monoids (#1865) Build and deploy library website #973: Commit 6567147 pushed by fredrik-bakke
12m 27s master
master
12m 27s
Complex normed vector spaces (#1901) Build and deploy library website #972: Commit d0d4fd8 pushed by fredrik-bakke
12m 25s master
master
12m 25s
Use finite sequences for terms in universal-algebra (#1894) Build and deploy library website #971: Commit 389fb2a pushed by fredrik-bakke
10m 21s master
master
10m 21s