Skip to content

Adds versioning to tool builds (#73) #226

Adds versioning to tool builds (#73)

Adds versioning to tool builds (#73) #226

Triggered via push February 28, 2025 11:23
Status Success
Total duration 2m 18s
Artifacts

gradle.yml

on: push
build_memory_footprint
2m 9s
build_memory_footprint
build_validator
1m 17s
build_validator
build_wff_optimizer
1m 35s
build_wff_optimizer
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
build_validator
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
build_wff_optimizer
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
build_wff_optimizer
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
build_wff_optimizer
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
build_memory_footprint
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
build_memory_footprint
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
build_memory_footprint
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.