Skip to content
CI

add coq-vlsm.1.3 #455

Sign in to view logs

add coq-vlsm.1.3

add coq-vlsm.1.3 #455

Triggered via pull request December 15, 2023 14:00
@palmskogpalmskog
synchronize #2860
palmskog:add-vlsm-1.3
Status Success
Total duration 2m 29s
Artifacts –

ci.yml

on: pull_request
build
2m 21s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in