Skip to content
CI

update bounds for jmlcoq and almost-full #14

Sign in to view logs

update bounds for jmlcoq and almost-full

update bounds for jmlcoq and almost-full #14

Triggered via pull request August 20, 2023 12:36
@palmskogpalmskog
opened #2681
palmskog:relax-bounds-8.18
Status Success
Total duration 3m 8s
Artifacts –

ci.yml

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