Skip to content

Adds versioning to tool builds #224

Adds versioning to tool builds

Adds versioning to tool builds #224

Triggered via pull request February 28, 2025 10:28
Status Success
Total duration 2m 4s
Artifacts

gradle.yml

on: pull_request
build_memory_footprint
1m 56s
build_memory_footprint
build_validator
43s
build_validator
build_wff_optimizer
1m 28s
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.