Skip to content

Actions: ocaml-sf/learn-ocaml

check-update-index

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
154 workflow runs
154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: Improve the tutorial howto-deploy-learn-ocaml-statically
check-update-index #265: Pull request #504 synchronize by erikmd
December 30, 2023 00:00 17s pfitaxel:improve-static-doc
December 30, 2023 00:00 17s
remove residual code from PR #320, which is no longer useful
check-update-index #264: Pull request #578 opened by lsylvestre
December 12, 2023 16:48 14s lsylvestre:master
December 12, 2023 16:48 14s
Fixing OSX CI again
check-update-index #263: Commit fb300f6 pushed by AltGr
December 12, 2023 13:18 12s master
December 12, 2023 13:18 12s
Fixing OSX CI
check-update-index #262: Commit fde66f5 pushed by AltGr
December 12, 2023 13:04 15s master
December 12, 2023 13:04 15s
ci: Fix jekyll-build-pages source for https://ocaml-sf.org/learn-ocam…
check-update-index #261: Commit 9cf5486 pushed by AltGr
December 12, 2023 12:44 13s master
December 12, 2023 12:44 13s
ci: Fix jekyll-build-pages source for https://ocaml-sf.org/learn-ocaml/
check-update-index #260: Pull request #577 opened by erikmd
December 11, 2023 13:51 12s pfitaxel:fix-ghp
December 11, 2023 13:51 12s
CI: Fixing artifacts publication
check-update-index #259: Commit d863e57 pushed by AltGr
December 5, 2023 17:47 12s master
December 5, 2023 17:47 12s
CI: Fixing artifacts publication
check-update-index #258: Commit bd6ebf8 pushed by AltGr
December 5, 2023 17:25 12s master
December 5, 2023 17:25 12s
CI: Fixing artifacts publication
check-update-index #257: Commit 1b78dea pushed by AltGr
December 5, 2023 17:00 13s master
December 5, 2023 17:00 13s
CI: Fixing artifacts publication
check-update-index #256: Commit 38f746e pushed by AltGr
December 5, 2023 16:38 14s master
December 5, 2023 16:38 14s
CI: Fixing artifacts publication
check-update-index #255: Commit e56d654 pushed by AltGr
December 5, 2023 15:05 13s master
December 5, 2023 15:05 13s
CI: Fixing artifacts publication
check-update-index #254: Commit 27b3b7e pushed by AltGr
December 5, 2023 13:22 14s master
December 5, 2023 13:22 14s
Merge pull request #576 from ocaml-sf/deploy-artifacts
check-update-index #253: Commit a1ae152 pushed by AltGr
December 5, 2023 11:21 11s master
December 5, 2023 11:21 11s
Deploy artifacts to github-pages
check-update-index #252: Pull request #576 synchronize by AltGr
December 5, 2023 11:21 12s deploy-artifacts
December 5, 2023 11:21 12s
Deploy artifacts to github-pages
check-update-index #251: Pull request #576 synchronize by AltGr
December 5, 2023 10:47 13s deploy-artifacts
December 5, 2023 10:47 13s
Deploy artifacts to github-pages
check-update-index #250: Pull request #576 opened by AltGr
December 5, 2023 10:45 15s deploy-artifacts
December 5, 2023 10:45 15s
Merge pull request #567 from AltGr/server-replace
check-update-index #249: Commit 6cee13c pushed by AltGr
November 24, 2023 13:39 13s master
November 24, 2023 13:39 13s
feat(server): add a --replace option
check-update-index #248: Pull request #567 synchronize by AltGr
November 3, 2023 13:40 11s AltGr:server-replace
November 3, 2023 13:40 11s
Merge pull request #481 from AltGr/a7977b52
check-update-index #247: Commit 6356328 pushed by AltGr
November 3, 2023 13:36 16s master
November 3, 2023 13:36 16s
Implement pre-compilation of exercises and graders
check-update-index #246: Pull request #481 synchronize by AltGr
November 3, 2023 12:56 6m 39s AltGr:a7977b52
November 3, 2023 12:56 6m 39s
Implement pre-compilation of exercises and graders
check-update-index #245: Pull request #481 synchronize by AltGr
November 3, 2023 12:55 15s AltGr:a7977b52
November 3, 2023 12:55 15s
Merge pull request #568 from AltGr/noloop
check-update-index #244: Commit 0816f95 pushed by AltGr
November 3, 2023 12:51 18s master
November 3, 2023 12:51 18s
Implement pre-compilation of exercises and graders
check-update-index #243: Pull request #481 synchronize by AltGr
November 3, 2023 10:25 10s AltGr:a7977b52
November 3, 2023 10:25 10s
fix(grading): avoid failing on sampling arrays with unique elements
check-update-index #242: Pull request #568 synchronize by AltGr
November 3, 2023 10:23 17s AltGr:noloop
November 3, 2023 10:23 17s
ci(release.yml): Replace hub (not installed anymore) with gh
check-update-index #241: Commit cad060f pushed by erikmd
November 3, 2023 09:41 15s master
November 3, 2023 09:41 15s