Skip to content

Actions: tarides/ocaml-devcontainer

Actions

Rocq Integration Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-rocq-image.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rocq Integration Tests Rocq Integration Tests #8: completed by cuihtlauac
2m 24s
2m 24s
Rocq Integration Tests Rocq Integration Tests #7: completed by cuihtlauac
2m 26s
2m 26s
Fix Rocq build: remove rocq-extraction (bundled in rocq-stdlib) Rocq Integration Tests #6: Commit 896484b pushed by cuihtlauac
31s main
main
31s
Rocq Integration Tests Rocq Integration Tests #5: completed by cuihtlauac
1m 54s
1m 54s
Bump docker/build-push-action from 6 to 7 Rocq Integration Tests #4: Pull request #40 synchronize by dependabot bot
2m 36s dependabot/github_actions/docker/build-push-action-7
dependabot/github_actions/docker/build-push-action-7
2m 36s
Bump docker/login-action from 3 to 4 Rocq Integration Tests #3: Pull request #38 synchronize by dependabot bot
2m 38s dependabot/github_actions/docker/login-action-4
dependabot/github_actions/docker/login-action-4
2m 38s
Bump docker/setup-buildx-action from 3 to 4 Rocq Integration Tests #2: Pull request #39 synchronize by dependabot bot
53s dependabot/github_actions/docker/setup-buildx-action-4
dependabot/github_actions/docker/setup-buildx-action-4
53s
Add Rocq variant: devcontainer image with Rocq proof assistant + extr… Rocq Integration Tests #1: Commit 078ac4e pushed by cuihtlauac
31s main
main
31s