Skip to content

Actions: oxcaml/tutorial-icfp25

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow runs
132 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
Small tweaks before the tutorial OxCaml #71: Commit 55fe8d2 pushed by gavinleroy
1m 32s main
main
1m 32s
pages build and deployment pages-build-deployment #50: by gavinleroy
1m 0s main
main
1m 0s
Update to Slipshow 0.9.X, fix animations, add in slide about locality… OxCaml #70: Commit fee5404 pushed by gavinleroy
41m 26s main
main
41m 26s
pages build and deployment pages-build-deployment #49: by gavinleroy
48s main
main
48s
POPL updates OxCaml #69: Commit 4cad8fc pushed by gavinleroy
42m 34s main
main
42m 34s
pages build and deployment pages-build-deployment #48: by gavinleroy
35s main
main
35s
README, update slides with documentation links OxCaml #67: Commit 2281449 pushed by gavinleroy
42m 16s main
main
42m 16s
pages build and deployment pages-build-deployment #47: by gavinleroy
45s main
main
45s
Reorg handson readme OxCaml #65: Commit 5db31d2 pushed by kayceesrk
1m 43s main
main
1m 43s
pages build and deployment pages-build-deployment #46: by kayceesrk
38s main
main
38s
Fix quicksort to compile OxCaml #64: Commit dcb767d pushed by kayceesrk
1m 5s main
main
1m 5s
pages build and deployment pages-build-deployment #45: by kayceesrk
37s main
main
37s
Build multi arch Docker Image with separate Github Runners Build multi arch Docker Image with separate Github Runners #12: Manually run by avsm
48m 18s main
main
48m 18s
+await OxCaml #63: Commit 710da2a pushed by avsm
37m 13s main
main
37m 13s
+await Build multi arch Docker Image with separate Github Runners #11: Commit 710da2a pushed by avsm
47m 24s main
main
47m 24s
pages build and deployment pages-build-deployment #44: by avsm
42s main
main
42s
Build multi arch Docker Image with separate Github Runners Build multi arch Docker Image with separate Github Runners #10: Manually run by avsm
47m 35s main
main
47m 35s
Fix nits OxCaml #62: Commit 4c62c1e pushed by kayceesrk
1m 7s main
main
1m 7s
pages build and deployment pages-build-deployment #43: by kayceesrk
37s main
main
37s
update devcontainer image OxCaml #61: Commit 6a81198 pushed by avsm
1m 22s main
main
1m 22s
pages build and deployment pages-build-deployment #42: by avsm
33s main
main
33s
Add Diana to authors OxCaml #60: Commit 483fd31 pushed by gavinleroy
1m 12s main
main
1m 12s
pages build and deployment pages-build-deployment #41: by gavinleroy
43s main
main
43s
Build multi arch Docker Image with separate Github Runners Build multi arch Docker Image with separate Github Runners #9: Manually run by avsm
56s main
main
56s
Merge pull request #3 from oxcaml/idiomatic OxCaml #59: Commit cf4eaab pushed by dkalinichenko-js
1m 20s main
main
1m 20s