Skip to content
CI

make only latest val visible in msv. leads to more simple proofs, and… #333

Sign in to view logs

make only latest val visible in msv. leads to more simple proofs, and…

make only latest val visible in msv. leads to more simple proofs, and… #333

Triggered via push October 24, 2024 22:36
@sanjit-bhatsanjit-bhat
pushed 53b508f
master
Status Success
Total duration 57m 45s
Artifacts –

ci.yml

on: push
check-goose
1m 13s
check-goose
python
14s
python
Matrix: build-vos
Matrix: build
Fit to window
Zoom out
Zoom in