Skip to content

Actions: sjoerdvisscher/proarrow

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Complete implementation of walking adjunction Haskell-CI #42: Commit 4eeaab4 pushed by sjoerdvisscher
3m 57s main
main
3m 57s
pages build and deployment pages-build-deployment #287: by sjoerdvisscher
45s main
main
45s
Equipment rewrite complete Haskell-CI #41: Commit 4dabba2 pushed by sjoerdvisscher
4m 22s main
main
4m 22s
pages build and deployment pages-build-deployment #286: by sjoerdvisscher
46s main
main
46s
Direct encoding of laws as tests Haskell-CI #40: Commit d66699f pushed by sjoerdvisscher
4m 11s main
main
4m 11s
pages build and deployment pages-build-deployment #285: by sjoerdvisscher
42s main
main
42s
Direct encoding of laws as tests Haskell-CI #39: Commit 1e28ec5 pushed by sjoerdvisscher
3m 53s main
main
3m 53s
pages build and deployment pages-build-deployment #284: by sjoerdvisscher
37s main
main
37s
Update docs Haskell-CI #38: Commit 795ea11 pushed by sjoerdvisscher
3m 55s main
main
3m 55s
pages build and deployment pages-build-deployment #283: by sjoerdvisscher
38s main
main
38s
Update docs Haskell-CI #37: Commit 61d83bc pushed by sjoerdvisscher
4m 7s main
main
4m 7s
pages build and deployment pages-build-deployment #282: by sjoerdvisscher
41s main
main
41s
Update docs Haskell-CI #36: Commit 68391c9 pushed by sjoerdvisscher
3m 33s main
main
3m 33s
pages build and deployment pages-build-deployment #281: by sjoerdvisscher
42s main
main
42s
Monads and comonads Haskell-CI #35: Commit bc73b7f pushed by sjoerdvisscher
3m 29s main
main
3m 29s
pages build and deployment pages-build-deployment #280: by sjoerdvisscher
43s main
main
43s
Can't get the mapping for free Haskell-CI #34: Commit 9d24cc8 pushed by sjoerdvisscher
9m 0s main
main
9m 0s
pages build and deployment pages-build-deployment #279: by sjoerdvisscher
44s main
main
44s
Arrows as strong promonads Haskell-CI #33: Commit 64d3b86 pushed by sjoerdvisscher
3m 47s main
main
3m 47s
pages build and deployment pages-build-deployment #278: by sjoerdvisscher
44s main
main
44s
Some strong monoidal action action Haskell-CI #32: Commit 6b71397 pushed by sjoerdvisscher
3m 35s main
main
3m 35s
pages build and deployment pages-build-deployment #277: by sjoerdvisscher
46s main
main
46s
Remove reflection Haskell-CI #31: Commit 4629086 pushed by sjoerdvisscher
3m 24s main
main
3m 24s
pages build and deployment pages-build-deployment #276: by sjoerdvisscher
37s main
main
37s
Rewrite of equipments Haskell-CI #30: Commit 96afd37 pushed by sjoerdvisscher
2m 56s main
main
2m 56s