Skip to content
replay-why3-proofs

belolourenco setting up environment #94

Sign in to view logs

belolourenco setting up environment

belolourenco setting up environment #94

Triggered via push April 19, 2024 14:02
@belolourencobelolourenco
pushed 9af14ad
nodejs20
Status Success
Total duration 14m 42s
Artifacts –

set-up-environment.yml

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