Update build-legacy.yml #122

Sign in to view logs

Triggered via push August 3, 2023 21:36

wenkokke

main

Status Success

Total duration 3m 52s

Artifacts –

sample-basic.yml

on: push

Check hello-world-dep.agda