Skip to content
Test

[ ci ] Check if Agda binary already exist before trying to install it #591

Sign in to view logs

[ ci ] Check if Agda binary already exist before trying to install it

[ ci ] Check if Agda binary already exist before trying to install it #591

Triggered via push November 20, 2024 09:36
@banacornbanacorn
pushed 0e2c17a
master
Status Success
Total duration 5m 58s
Artifacts –

test.yml

on: push
Matrix: build-and-test
Fit to window
Zoom out
Zoom in