Skip to content

Actions: groupoid/anders

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
230 workflow runs
230 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
wip opam #1208: Commit 57c3c86 pushed by 5HT
3m 25s main
main
3m 25s
pages build and deployment pages-build-deployment #589: by 5HT
40s main
main
40s
Merge branch 'main' of github.com:groupoid/anders opam #1207: Commit a8db36d pushed by 5HT
3m 29s main
main
3m 29s
pages build and deployment pages-build-deployment #588: by 5HT
37s main
main
37s
Update CHANGELOG opam #1206: Commit 5cb1730 pushed by 5HT
3m 13s main
main
3m 13s
pages build and deployment pages-build-deployment #587: by 5HT
36s main
main
36s
fix tesseract opam #1205: Commit 604761b pushed by 5HT
3m 21s main
main
3m 21s
pages build and deployment pages-build-deployment #586: by 5HT
36s main
main
36s
forrmattings opam #1204: Commit cfde2d0 pushed by 5HT
3m 27s main
main
3m 27s
pages build and deployment pages-build-deployment #585: by 5HT
48s main
main
48s
move code opam #1203: Commit c36ace3 pushed by 5HT
3m 22s main
main
3m 22s
pages build and deployment pages-build-deployment #584: by 5HT
40s main
main
40s
put K(G,1) as a base back into K(G,n) so we now may claim opam #1202: Commit dd6846f pushed by 5HT
3m 31s main
main
3m 31s
pages build and deployment pages-build-deployment #583: by 5HT
43s main
main
43s
move code opam #1201: Commit 44285e6 pushed by 5HT
1m 51s main
main
1m 51s
pages build and deployment pages-build-deployment #582: by 5HT
56s main
main
56s
cleanup opam #1200: Commit fff14dc pushed by 5HT
1m 55s main
main
1m 55s
pages build and deployment pages-build-deployment #581: by 5HT
45s main
main
45s
comments and documentation opam #1199: Commit e8d4447 pushed by 5HT
1m 55s main
main
1m 55s
pages build and deployment pages-build-deployment #580: by 5HT
48s main
main
48s
comments and documentation opam #1198: Commit 6a75e82 pushed by 5HT
1m 53s main
main
1m 53s
pages build and deployment pages-build-deployment #579: by 5HT
38s main
main
38s
comments and documentation opam #1197: Commit 529d5bd pushed by 5HT
1m 51s main
main
1m 51s
pages build and deployment pages-build-deployment #578: by 5HT
47s main
main
47s
wip opam #1196: Commit 39e93e3 pushed by 5HT
1m 59s main
main
1m 59s