Skip to content
CI

coq: init #18

Sign in to view logs

coq: init

coq: init #18

Triggered via push November 29, 2023 12:31
@ii8ii8
pushed 67b13a5
master
Status Success
Total duration 2m 4s
Artifacts 1

build.yml

on: push
build
1m 35s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
2.41 MB