Skip to content
Build and profile and CoqDoc

remove old files #10

Sign in to view logs

remove old files

remove old files #10

Triggered via push January 22, 2024 10:46
@h0nzZikh0nzZik
pushed d1fb2b5
main
Status Success
Total duration 19m 6s
Artifacts –

build-and-profile.yml

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