Skip to content
CI

add coq-hol-light-real-with-N.1.1.0 #1742

Sign in to view logs

add coq-hol-light-real-with-N.1.1.0

add coq-hol-light-real-with-N.1.1.0 #1742

Triggered via push February 19, 2025 13:45
@fblanquifblanqui
pushed f1b94a8
master
Status Success
Total duration 1m 47s
Artifacts –

ci.yml

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