Skip to content

Fix Rust tests via lit on osx #20098

Fix Rust tests via lit on osx

Fix Rust tests via lit on osx #20098

xunit-tests  /  osx (1)

succeeded Jan 16, 2025 in 19m 16s
Set up job
4s
Run actions/checkout@v4
4s
Setup .NET
17s
Install dependencies
24s
Load Z3
2s
Move Z3
0s
Set Z3 Permissions
0s
Build
1m 59s
Run DafnyCore Tests
1m 46s
Run DafnyLanguageServer Tests (soak test - iteration 1)
0s
Run DafnyLanguageServer Tests
8m 48s
Run DafnyDriver Tests
1m 8s
Run DafnyPipeline Tests
1m 16s
Run DafnyTestGeneration Tests
1m 45s
Run AutoExtern Tests
1m 22s
Run DafnyRuntime Tests
5s
Run actions/upload-artifact@v4
2s
Post Setup .NET
0s
Post Run actions/checkout@v4
0s
Complete job
0s