Skip to content

Actions: tarides/ocaml-devcontainer

Actions

Integration Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Integration Tests Integration Tests #103: completed by cuihtlauac
5m 59s
5m 59s
Integration Tests Integration Tests #102: completed by cuihtlauac
5m 52s
5m 52s
Integration Tests Integration Tests #101: completed by cuihtlauac
5m 58s
5m 58s
Integration Tests Integration Tests #100: completed by cuihtlauac
5m 56s
5m 56s
Integration Tests Integration Tests #99: completed by cuihtlauac
5m 58s
5m 58s
Integration Tests Integration Tests #98: completed by cuihtlauac
4m 49s
4m 49s
Fix Rocq build: remove rocq-extraction (bundled in rocq-stdlib) Integration Tests #97: Commit 896484b pushed by cuihtlauac
5m 52s main
main
5m 52s
Bump docker/build-push-action from 6 to 7 Integration Tests #96: Pull request #40 synchronize by dependabot bot
8m 19s dependabot/github_actions/docker/build-push-action-7
dependabot/github_actions/docker/build-push-action-7
8m 19s
Bump docker/login-action from 3 to 4 Integration Tests #95: Pull request #38 synchronize by dependabot bot
6m 27s dependabot/github_actions/docker/login-action-4
dependabot/github_actions/docker/login-action-4
6m 27s
Bump docker/setup-buildx-action from 3 to 4 Integration Tests #94: Pull request #39 synchronize by dependabot bot
5m 33s dependabot/github_actions/docker/setup-buildx-action-4
dependabot/github_actions/docker/setup-buildx-action-4
5m 33s
Add Rocq variant: devcontainer image with Rocq proof assistant + extr… Integration Tests #93: Commit 078ac4e pushed by cuihtlauac
5m 53s main
main
5m 53s
Add guide for integrating the devcontainer into your own project Integration Tests #92: Commit 6d973f6 pushed by cuihtlauac
5m 11s main
main
5m 11s
Integration Tests Integration Tests #91: completed by cuihtlauac
5m 54s
5m 54s
Integration Tests Integration Tests #90: completed by cuihtlauac
5m 53s
5m 53s
Bump dorny/paths-filter from 3 to 4 Integration Tests #89: Pull request #41 opened by dependabot bot
6m 0s dependabot/github_actions/dorny/paths-filter-4
dependabot/github_actions/dorny/paths-filter-4
6m 0s
Integration Tests Integration Tests #88: completed by cuihtlauac
6m 45s
6m 45s
Integration Tests Integration Tests #87: completed by cuihtlauac
4m 55s
4m 55s
Integration Tests Integration Tests #86: completed by cuihtlauac
6m 28s
6m 28s
Install ocamlformat (not just ocamlformat-lib) for VS Code formatting… Integration Tests #85: Commit 230b835 pushed by cuihtlauac
5m 51s main
main
5m 51s
Integration Tests Integration Tests #84: completed by cuihtlauac
6m 5s
6m 5s
Integration Tests Integration Tests #83: completed by cuihtlauac
5m 30s
5m 30s
Integration Tests Integration Tests #82: completed by cuihtlauac
6m 5s
6m 5s
Bump docker/setup-buildx-action from 3 to 4 Integration Tests #81: Pull request #39 synchronize by dependabot bot
6m 54s dependabot/github_actions/docker/setup-buildx-action-4
dependabot/github_actions/docker/setup-buildx-action-4
6m 54s
Bump docker/build-push-action from 6 to 7 Integration Tests #80: Pull request #40 synchronize by dependabot bot
8m 3s dependabot/github_actions/docker/build-push-action-7
dependabot/github_actions/docker/build-push-action-7
8m 3s
Bump docker/login-action from 3 to 4 Integration Tests #79: Pull request #38 synchronize by dependabot bot
7m 19s dependabot/github_actions/docker/login-action-4
dependabot/github_actions/docker/login-action-4
7m 19s