CI

Merge pull request #3 from mit-pdos/dafny-4 #430

Sign in to view logs

Triggered via push January 12, 2024 05:39

tchajed

main

Status Success

Total duration 4m 31s

Artifacts –

main.yml

on: push

Test NFS server

Test NFS server (macOS)