CI

ci: run checkout first so go caching works #428

Sign in to view logs

Triggered via push January 12, 2024 05:34

tchajed

dafny-4

Status Success

Total duration 4m 50s

Artifacts –

main.yml

on: push

Test NFS server

Test NFS server (macOS)