Skip to content
replay-why3-proofs

belolourenco setting up environment #95

Sign in to view logs

belolourenco setting up environment

belolourenco setting up environment #95

Triggered via push April 19, 2024 14:20
@belolourencobelolourenco
pushed 9af14ad
main
Status Success
Total duration 14m 53s
Artifacts –

set-up-environment.yml

on: push
install-and-test
14m 44s
install-and-test
Fit to window
Zoom out
Zoom in