Skip to content

Merge branch 'batched-evaluation' of https://github.com/dice-group/di… #994

Merge branch 'batched-evaluation' of https://github.com/dice-group/di…

Merge branch 'batched-evaluation' of https://github.com/dice-group/di… #994

Triggered via push November 27, 2024 12:18
Status Success
Total duration 1h 21m 55s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in