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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Incidence algebras (#1221) Build and deploy library website #596: Commit f5702e9 pushed by EgbertRijke
November 14, 2024 16:16 30m 25s master
master
November 14, 2024 16:16 30m 25s
Some results about path-cosplit maps (#1167) Build and deploy library website #595: Commit 4fd43e9 pushed by fredrik-bakke
November 5, 2024 16:53 17m 44s master
master
November 5, 2024 16:53 17m 44s
Continuation modalities and Lawvere–Tierney topologies (#1157) Build and deploy library website #594: Commit 3ca79e6 pushed by EgbertRijke
November 5, 2024 02:03 16m 5s master
master
November 5, 2024 02:03 16m 5s
Strict inequality in standard finite types (#1219) Build and deploy library website #593: Commit 4514edb pushed by EgbertRijke
November 4, 2024 15:23 14m 2s master
master
November 4, 2024 15:23 14m 2s
Adding an acknowledgement (#1218) Build and deploy library website #592: Commit d20dc8f pushed by EgbertRijke
October 31, 2024 21:38 6m 31s master
master
October 31, 2024 21:38 6m 31s
chore: some fixes to links (#1217) Build and deploy library website #591: Commit 7cfae63 pushed by fredrik-bakke
October 29, 2024 17:00 16m 33s master
master
October 29, 2024 17:00 16m 33s
Linked names (#1216) Build and deploy library website #590: Commit 15d937a pushed by fredrik-bakke
October 29, 2024 15:05 8m 19s master
master
October 29, 2024 15:05 8m 19s
chore: Replace strange whitespace (#1215) Build and deploy library website #589: Commit e0eacab pushed by EgbertRijke
October 29, 2024 13:21 8m 7s master
master
October 29, 2024 13:21 8m 7s
Formula for the number of combinations (#1213) Build and deploy library website #588: Commit 4dad171 pushed by fredrik-bakke
October 28, 2024 17:21 16m 40s master
master
October 28, 2024 17:21 16m 40s
The number of decidable subtypes of a finite type (#1212) Build and deploy library website #587: Commit da73aab pushed by fredrik-bakke
October 28, 2024 05:54 13m 41s master
master
October 28, 2024 05:54 13m 41s
Functoriality of morphisms of arrows (#1130) Build and deploy library website #586: Commit 3d3bd33 pushed by EgbertRijke
October 27, 2024 16:12 17m 13s master
master
October 27, 2024 16:12 17m 13s
Displayed precategories (#922) Build and deploy library website #585: Commit 6901252 pushed by fredrik-bakke
October 27, 2024 12:03 15m 24s master
master
October 27, 2024 12:03 15m 24s
Sylvester's sequence (#1210) Build and deploy library website #584: Commit 0c84399 pushed by fredrik-bakke
October 25, 2024 14:56 6m 38s master
master
October 25, 2024 14:56 6m 38s
Fix euclid-mullin (#1209) Build and deploy library website #583: Commit 48dc07c pushed by EgbertRijke
October 25, 2024 00:08 7m 2s master
master
October 25, 2024 00:08 7m 2s
Move OEIS to literature (#1208) Build and deploy library website #582: Commit ffdf33c pushed by EgbertRijke
October 24, 2024 15:06 6m 33s master
master
October 24, 2024 15:06 6m 33s
The Euclid-Mullin sequence (#1207) Build and deploy library website #581: Commit e249655 pushed by EgbertRijke
October 23, 2024 18:55 13m 48s master
master
October 23, 2024 18:55 13m 48s
Order theory from @spcfox's modal logic (#1205) Build and deploy library website #580: Commit 7403e40 pushed by fredrik-bakke
October 19, 2024 23:34 8m 19s master
master
October 19, 2024 23:34 8m 19s
Abelian ∞-groups (#1178) Build and deploy library website #579: Commit 8bedb22 pushed by EgbertRijke
October 18, 2024 17:57 14m 57s master
master
October 18, 2024 17:57 14m 57s
Bezout's lemma – 100 theorems (#1202) Build and deploy library website #578: Commit 00371f3 pushed by EgbertRijke
October 18, 2024 17:26 6m 38s master
master
October 18, 2024 17:26 6m 38s
100 Theorems (#1201) Build and deploy library website #577: Commit 346e0c1 pushed by EgbertRijke
October 17, 2024 16:05 14m 38s master
master
October 17, 2024 16:05 14m 38s
Some links in elementary number theory (#1199) Build and deploy library website #576: Commit c1a469f pushed by EgbertRijke
October 16, 2024 15:36 16m 43s master
master
October 16, 2024 15:36 16m 43s
Define double negation sheaves (#1198) Build and deploy library website #575: Commit df14f7e pushed by EgbertRijke
October 15, 2024 20:53 14m 23s master
master
October 15, 2024 20:53 14m 23s
Minor search engine optimizations (#1197) Build and deploy library website #574: Commit 1549926 pushed by EgbertRijke
October 14, 2024 22:47 16m 42s master
master
October 14, 2024 22:47 16m 42s
Add link to containers project (#1193) Build and deploy library website #573: Commit 633d73d pushed by VojtechStep
October 10, 2024 17:47 6m 41s master
master
October 10, 2024 17:47 6m 41s
Idea text set-theory (#1189) Build and deploy library website #572: Commit 10c1612 pushed by EgbertRijke
October 9, 2024 19:15 14m 42s master
master
October 9, 2024 19:15 14m 42s