Skip to content
Docker CI

Add license header to all Coq files #3

Sign in to view logs

Add license header to all Coq files

Add license header to all Coq files #3

Triggered via push November 13, 2023 10:35
@lzy0505lzy0505
pushed 1cd1034
main
Status Success
Total duration 33m 50s
Artifacts –

docker-image.yml

on: push
build
33m 41s
build
Fit to window
Zoom out
Zoom in