Skip to content

Actions: groupoid/anders

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
330 workflow runs
330 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #347: by 5HT
October 29, 2023 19:43 55s
October 29, 2023 19:43 55s
intro opam #964: Commit cb0841c pushed by 5HT
October 29, 2023 19:42 6m 43s main
main
October 29, 2023 19:42 6m 43s
pages build and deployment pages-build-deployment #346: by 5HT
October 29, 2023 19:28 53s
October 29, 2023 19:28 53s
intro opam #963: Commit e88cf18 pushed by 5HT
October 29, 2023 19:28 6m 54s main
main
October 29, 2023 19:28 6m 54s
pages build and deployment pages-build-deployment #345: by 5HT
October 29, 2023 04:19 49s
October 29, 2023 04:19 49s
iso-J has the same structure as equiv-J opam #962: Commit 1552687 pushed by 5HT
October 29, 2023 04:19 6m 35s main
main
October 29, 2023 04:19 6m 35s
pages build and deployment pages-build-deployment #344: by 5HT
October 29, 2023 03:58 45s
October 29, 2023 03:58 45s
ABCFHL in univalent foundations opam #961: Commit 4364122 pushed by 5HT
October 29, 2023 03:58 7m 2s main
main
October 29, 2023 03:58 7m 2s
pages build and deployment pages-build-deployment #343: by 5HT
October 24, 2023 17:38 1m 0s
October 24, 2023 17:38 1m 0s
identity system opam #960: Commit c6d981c pushed by 5HT
October 24, 2023 17:38 6m 15s main
main
October 24, 2023 17:38 6m 15s
pages build and deployment pages-build-deployment #342: by 5HT
October 24, 2023 17:37 58s
October 24, 2023 17:37 58s
identity system opam #959: Commit 8af6165 pushed by 5HT
October 24, 2023 17:37 6m 18s main
main
October 24, 2023 17:37 6m 18s
pages build and deployment pages-build-deployment #341: by 5HT
October 24, 2023 04:07 55s
October 24, 2023 04:07 55s
headers opam #958: Commit 3d17db7 pushed by 5HT
October 24, 2023 04:07 7m 2s main
main
October 24, 2023 04:07 7m 2s
pages build and deployment pages-build-deployment #340: by 5HT
October 24, 2023 03:20 1m 9s
October 24, 2023 03:20 1m 9s
equiv prop opam #957: Commit 521a035 pushed by 5HT
October 24, 2023 03:20 7m 28s main
main
October 24, 2023 03:20 7m 28s
pages build and deployment pages-build-deployment #339: by 5HT
October 23, 2023 12:12 1m 2s
October 23, 2023 12:12 1m 2s
J-equiv opam #956: Commit d399617 pushed by 5HT
October 23, 2023 12:12 6m 28s main
main
October 23, 2023 12:12 6m 28s
pages build and deployment pages-build-deployment #338: by 5HT
October 23, 2023 11:01 53s
October 23, 2023 11:01 53s
modal interface opam #955: Commit 570c21a pushed by 5HT
October 23, 2023 11:01 6m 15s main
main
October 23, 2023 11:01 6m 15s
pages build and deployment pages-build-deployment #337: by 5HT
October 23, 2023 04:17 49s
October 23, 2023 04:17 49s
П-ind opam #954: Commit 30f2a6e pushed by 5HT
October 23, 2023 04:16 6m 3s main
main
October 23, 2023 04:16 6m 3s
pages build and deployment pages-build-deployment #336: by 5HT
October 23, 2023 04:08 55s
October 23, 2023 04:08 55s
accept П opam #953: Commit f8a1221 pushed by 5HT
October 23, 2023 04:08 7m 44s main
main
October 23, 2023 04:08 7m 44s
pages build and deployment pages-build-deployment #335: by 5HT
October 22, 2023 19:30 57s
October 22, 2023 19:30 57s