Skip to content

Actions: cmk/profunctor-optics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 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
feat: Add plans for vectors & unordered containers CI #46: Commit bcf2739 pushed by cmk
10m 5s main
main
10m 5s
pages build and deployment pages-build-deployment #21: by cmk
36s main
main
36s
refactor: Rename Left/Right Adjoint -> Star/Costar throughout CI #45: Commit 55bbd25 pushed by cmk
10m 13s main
main
10m 13s
pages build and deployment pages-build-deployment #20: by cmk
44s main
main
44s
doc: Remove deprecated design docs CI #44: Commit 97912de pushed by cmk
10m 20s main
main
10m 20s
pages build and deployment pages-build-deployment #19: by cmk
40s main
main
40s
doc: Remove deprecated design docs CI #43: Commit a97ea9d pushed by cmk
9m 18s main
main
9m 18s
pages build and deployment pages-build-deployment #18: by cmk
42s main
main
42s
fix: Rewrite adjointr to use adjointrVl (Star-side) CI #42: Commit ad4343f pushed by cmk
9m 25s main
main
9m 25s
pages build and deployment pages-build-deployment #17: by cmk
37s main
main
37s
refactor: Reorganize Setter.hs exports/sections, move bridge to Sort.hs CI #41: Commit 7455d17 pushed by cmk
10m 36s main
main
10m 36s
pages build and deployment pages-build-deployment #16: by cmk
38s main
main
38s
feat: Add dual optics to containers modules CI #40: Commit 592b444 pushed by cmk
10m 50s main
main
10m 50s
pages build and deployment pages-build-deployment #15: by cmk
44s main
main
44s
feat: Add true Review type & API CI #39: Commit a9e91cc pushed by cmk
10m 32s main
main
10m 32s
pages build and deployment pages-build-deployment #14: by cmk
36s main
main
36s
feat: Add true Review type & API CI #38: Commit 01ff60d pushed by cmk
10m 28s main
main
10m 28s
pages build and deployment pages-build-deployment #13: by cmk
41s main
main
41s
doc: Fix Haddock formatting error CI #37: Commit de98789 pushed by cmk
2m 40s main
main
2m 40s
pages build and deployment pages-build-deployment #12: by cmk
40s main
main
40s
Fix Haddock section nesting: demote all sub-sections by one level CI #36: Commit e687e3b pushed by cmk
10m 12s main
main
10m 12s
pages build and deployment pages-build-deployment #11: by cmk
35s main
main
35s
Feat/overhaul CI #35: Pull request #38 synchronize by cmk
2m 45s feat/overhaul
feat/overhaul
2m 45s
Fix Reprism test: releft diverges at simple types CI #34: Commit 2401c74 pushed by cmk
10m 9s main
main
10m 9s
pages build and deployment pages-build-deployment #10: by cmk
34s main
main
34s