Skip to content

feat: Compute triggers for such-that operations #20084

feat: Compute triggers for such-that operations

feat: Compute triggers for such-that operations #20084

integration-tests  /  test (ubuntu-20.04, 4)

succeeded Jan 15, 2025 in 24m 5s
Set up job
2s
Manually sync certs
0s
Setup dotnet
9s
Setup dotnet
1s
C++ for ubuntu 20.04
10s
Choose the right C++ for ubuntu 20.04
0s
Set up oldest supported JDK
3s
Set up newest supported JDK
0s
Set up oldest supported Go
1s
Set up goimports
12s
Set up Python
0s
Upgrade outdated pip
6s
Install lit
3s
Run actions/setup-node@v4
4s
Run npm install bignumber.js
5s
Checkout Dafny
2s
Install Java runtime locally (non-Windows)
15s
Install Java runtime locally (Windows)
0s
Use the default Rust linker (Non-Windows)
0s
Use specific Toolchain (Windows)
0s
Rust-related System information
1s
Create release
0s
Run Expand-Archive dafny/Package/CI.zip unzippedRelease
0s
Run unzip dafny/Package/CI.zip -d unzippedRelease
0s
Load Z3
11s
Run integration tests (Windows)
0s
Generate tests (non-Windows)
35s
Run integration tests (non-Windows)
21m 56s
Run actions/upload-artifact@v4
1s
Post Checkout Dafny
0s
Post Run actions/setup-node@v4
0s
Post Set up Python
0s
Post Set up oldest supported Go
0s
Post Set up oldest supported JDK
0s
Post Setup dotnet
0s
Post Setup dotnet
0s
Complete job
0s