Skip to content
CI

update bounds for jmlcoq and almost-full #15

Sign in to view logs

update bounds for jmlcoq and almost-full

update bounds for jmlcoq and almost-full #15

Triggered via pull request August 20, 2023 13:30
@palmskogpalmskog
synchronize #2681
palmskog:relax-bounds-8.18
Status Success
Total duration 3m 14s
Artifacts –

ci.yml

on: pull_request
build
3m 4s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in