Skip to content
Rocq

Added a Dockerfile and spec for a VSCode dev container for CN. (#56) #19

Sign in to view logs

Added a Dockerfile and spec for a VSCode dev container for CN. (#56)

Added a Dockerfile and spec for a VSCode dev container for CN. (#56) #19

Triggered via push April 25, 2025 18:36
@ZippeyKeys12ZippeyKeys12
pushed 4c861f1
main
Status Success
Total duration 21m 46s
Artifacts –

rocq.yml

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