Skip to content

Actions: tarides/ocaml-devcontainer

Actions

OxCaml Integration Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-oxcaml-image.yml
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

OxCaml Integration Tests OxCaml Integration Tests #43: completed by cuihtlauac
6m 47s
6m 47s
OxCaml Integration Tests OxCaml Integration Tests #42: completed by cuihtlauac
5m 47s
5m 47s
Fix Rocq build: remove rocq-extraction (bundled in rocq-stdlib) OxCaml Integration Tests #41: Commit 896484b pushed by cuihtlauac
6m 35s main
main
6m 35s
Bump docker/build-push-action from 6 to 7 OxCaml Integration Tests #40: Pull request #40 synchronize by dependabot bot
8m 42s dependabot/github_actions/docker/build-push-action-7
dependabot/github_actions/docker/build-push-action-7
8m 42s
Bump docker/login-action from 3 to 4 OxCaml Integration Tests #39: Pull request #38 synchronize by dependabot bot
6m 46s dependabot/github_actions/docker/login-action-4
dependabot/github_actions/docker/login-action-4
6m 46s
Bump docker/setup-buildx-action from 3 to 4 OxCaml Integration Tests #38: Pull request #39 synchronize by dependabot bot
6m 25s dependabot/github_actions/docker/setup-buildx-action-4
dependabot/github_actions/docker/setup-buildx-action-4
6m 25s
Add Rocq variant: devcontainer image with Rocq proof assistant + extr… OxCaml Integration Tests #37: Commit 078ac4e pushed by cuihtlauac
6m 32s main
main
6m 32s
Add guide for integrating the devcontainer into your own project OxCaml Integration Tests #36: Commit 6d973f6 pushed by cuihtlauac
12m 23s main
main
12m 23s
OxCaml Integration Tests OxCaml Integration Tests #35: completed by cuihtlauac
6m 26s
6m 26s
Bump dorny/paths-filter from 3 to 4 OxCaml Integration Tests #34: Pull request #41 opened by dependabot bot
6m 24s dependabot/github_actions/dorny/paths-filter-4
dependabot/github_actions/dorny/paths-filter-4
6m 24s
Install ocamlformat (not just ocamlformat-lib) for VS Code formatting… OxCaml Integration Tests #33: Commit 230b835 pushed by cuihtlauac
6m 30s main
main
6m 30s
Bump docker/setup-buildx-action from 3 to 4 OxCaml Integration Tests #32: Pull request #39 synchronize by dependabot bot
7m 4s dependabot/github_actions/docker/setup-buildx-action-4
dependabot/github_actions/docker/setup-buildx-action-4
7m 4s
Bump docker/build-push-action from 6 to 7 OxCaml Integration Tests #31: Pull request #40 synchronize by dependabot bot
6m 30s dependabot/github_actions/docker/build-push-action-7
dependabot/github_actions/docker/build-push-action-7
6m 30s
Bump docker/login-action from 3 to 4 OxCaml Integration Tests #30: Pull request #38 synchronize by dependabot bot
7m 1s dependabot/github_actions/docker/login-action-4
dependabot/github_actions/docker/login-action-4
7m 1s
Split TSan into separate image for lighter default and Codespace support OxCaml Integration Tests #29: Commit 421e607 pushed by cuihtlauac
6m 38s main
main
6m 38s
Remove privileged flag; document TSan limitation in Codespaces OxCaml Integration Tests #28: Commit 05d97d6 pushed by cuihtlauac
5m 27s main
main
5m 27s
Revert to spec-compliant "privileged": true property OxCaml Integration Tests #27: Commit 861f5e4 pushed by cuihtlauac
5m 30s main
main
5m 30s
Fix privileged mode: use runArgs instead of privileged property OxCaml Integration Tests #26: Commit a60b195 pushed by cuihtlauac
6m 33s main
main
6m 33s
Add privileged mode to OCaml devcontainers for TSan support OxCaml Integration Tests #25: Commit 85a5c63 pushed by cuihtlauac
6m 38s main
main
6m 38s
Add ocamlformat-lib and bake TSan ASLR fix into base image OxCaml Integration Tests #24: Commit 630d76c pushed by cuihtlauac
6m 38s main
main
6m 38s
Drop core, odoc, and ocamlformat from OCaml images OxCaml Integration Tests #23: Commit 84af66d pushed by cuihtlauac
8m 50s main
main
8m 50s
Add Podman blog post link to README and improve link text in setup gu… OxCaml Integration Tests #22: Commit 212aa33 pushed by cuihtlauac
6m 30s main
main
6m 30s
Fix Podman CI test: workspace permissions for UID mapping OxCaml Integration Tests #21: Commit 4315b04 pushed by cuihtlauac
6m 26s main
main
6m 26s
Add Podman support documentation and CI smoke test OxCaml Integration Tests #20: Commit e0e9cb9 pushed by cuihtlauac
6m 39s main
main
6m 39s
Add 'backoff' to OCAML_LIBS in Dockerfile OxCaml Integration Tests #19: Commit 0d2db68 pushed by cuihtlauac
6m 32s main
main
6m 32s