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
93 workflow run results
93 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Shifts and unshifts of concepts around sequential colimits (#1070) Build and deploy library website #500: Commit 20569c1 pushed by VojtechStep
April 10, 2024 09:31 11m 7s master
master
April 10, 2024 09:31 11m 7s
The additive group of rational numbers (#1100) Build and deploy library website #499: Commit 1b01393 pushed by fredrik-bakke
April 9, 2024 19:04 17m 51s master
master
April 9, 2024 19:04 17m 51s
Rebase infrastructure for coequalizers to double arrows (#1098) Build and deploy library website #498: Commit f7b8de0 pushed by VojtechStep
April 6, 2024 21:18 12m 59s master
master
April 6, 2024 21:18 12m 59s
Fix typo (#1101) Build and deploy library website #497: Commit 36a678c pushed by fredrik-bakke
March 29, 2024 09:59 8m 28s master
master
March 29, 2024 09:59 8m 28s
Refactoring positive integers (#1059) Build and deploy library website #496: Commit 2cda020 pushed by fredrik-bakke
March 28, 2024 14:15 15m 45s master
master
March 28, 2024 14:15 15m 45s
Base changes of span diagrams (#1090) Build and deploy library website #495: Commit 1a4ff3a pushed by fredrik-bakke
March 26, 2024 12:26 8m 54s master
master
March 26, 2024 12:26 8m 54s
Some notions of graphs (#1091) Build and deploy library website #494: Commit a90d432 pushed by EgbertRijke
March 23, 2024 23:05 10m 31s master
master
March 23, 2024 23:05 10m 31s
Deloopings and Eilenberg-Mac Lane spaces (#1079) Build and deploy library website #493: Commit ae24502 pushed by fredrik-bakke
March 23, 2024 22:44 17m 40s master
master
March 23, 2024 22:44 17m 40s
Enhancements for the Concepts macro (#1093) Build and deploy library website #492: Commit cacce49 pushed by fredrik-bakke
March 23, 2024 22:02 13m 15s master
master
March 23, 2024 22:02 13m 15s
Additions to cartesian morphisms (#1087) Build and deploy library website #491: Commit 1d6bcb1 pushed by EgbertRijke
March 22, 2024 08:07 27m 3s master
master
March 22, 2024 08:07 27m 3s
chore: Janitorial work in foundation (#1086) Build and deploy library website #490: Commit 4729655 pushed by VojtechStep
March 20, 2024 20:58 20m 19s master
master
March 20, 2024 20:58 20m 19s
Globular types (#1084) Build and deploy library website #489: Commit 2ea56ca pushed by VojtechStep
March 20, 2024 19:33 19m 25s master
master
March 20, 2024 19:33 19m 25s
Janitorial work on equivalences and embeddings (#1085) Build and deploy library website #488: Commit 33223e1 pushed by EgbertRijke
March 20, 2024 15:33 19m 35s master
master
March 20, 2024 15:33 19m 35s
Families over telescopes (#1082) Build and deploy library website #487: Commit 6c950eb pushed by EgbertRijke
March 19, 2024 18:55 20m 35s master
master
March 19, 2024 18:55 20m 35s
chore: fix some typos in the library (#1083) Build and deploy library website #486: Commit 70f0e71 pushed by fredrik-bakke
March 19, 2024 14:14 23m 6s master
master
March 19, 2024 14:14 23m 6s
Move torsoriality of the identity type to `foundation-core.torsorial-… Build and deploy library website #485: Commit 2c80040 pushed by VojtechStep
March 14, 2024 19:27 21m 22s master
master
March 14, 2024 19:27 21m 22s
Escape Agda definitions when translating them to regex (#1074) Build and deploy library website #484: Commit 91aa283 pushed by VojtechStep
March 14, 2024 09:22 10m 4s master
master
March 14, 2024 09:22 10m 4s
Refactoring pointed types (#1056) Build and deploy library website #483: Commit 6065e29 pushed by VojtechStep
March 13, 2024 17:09 23m 46s master
master
March 13, 2024 17:09 23m 46s
Add link to benchmarks in GitHub readme (#1063) Build and deploy library website #482: Commit 73b3af5 pushed by VojtechStep
March 12, 2024 14:57 8m 37s master
master
March 12, 2024 14:57 8m 37s
Fail the website build on malformed concept macro invocations (#1066) Build and deploy library website #481: Commit 6617100 pushed by VojtechStep
March 12, 2024 14:40 24m 46s master
master
March 12, 2024 14:40 24m 46s
Bibliographies (#1058) Build and deploy library website #480: Commit cd50e74 pushed by fredrik-bakke
March 11, 2024 23:02 23m 11s master
master
March 11, 2024 23:02 23m 11s
Refactor category theory to use strictly involutive identity types (#… Build and deploy library website #479: Commit 0ebb5e6 pushed by fredrik-bakke
March 11, 2024 17:29 17m 3s master
master
March 11, 2024 17:29 17m 3s
Add NodeJS to the devshell (#1064) Build and deploy library website #478: Commit 0f0d379 pushed by fredrik-bakke
March 11, 2024 10:57 7m 41s master
master
March 11, 2024 10:57 7m 41s
Associativity of pullbacks (#1054) Build and deploy library website #477: Commit fdc36fc pushed by fredrik-bakke
March 9, 2024 20:48 24m 45s master
master
March 9, 2024 20:48 24m 45s
Disable navigation buttons (#1057) Build and deploy library website #476: Commit 27e36c6 pushed by VojtechStep
March 6, 2024 16:14 7m 59s master
master
March 6, 2024 16:14 7m 59s