Skip to content
Rocq

Added a Dockerfile and spec for a VSCode dev container for CN. #16

Sign in to view logs

Added a Dockerfile and spec for a VSCode dev container for CN.

Added a Dockerfile and spec for a VSCode dev container for CN. #16

Triggered via pull request April 25, 2025 16:31
@aschwerdfeger-galoisaschwerdfeger-galois
synchronize #56
devcontainer
Status Success
Total duration 21m 24s
Artifacts –

rocq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in