Skip to content
Gradle Build (non-master branch)

feat: optimizations in smallStepSemantics #304

Sign in to view logs

feat: optimizations in smallStepSemantics

feat: optimizations in smallStepSemantics #304

Triggered via push January 9, 2025 17:00
@merendamattiamerendamattia
pushed fb699b3
taint-domain
Status Failure
Total duration 40m 34s
Artifacts –

gradle-all.yml

on: push
compile-and-test
40m 25s
compile-and-test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
compile-and-test
Process completed with exit code 1.
compile-and-test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
compile-and-test
The process '/usr/bin/git' failed with exit code 128