Skip to content

Allow evaluating directories without a manifest (#72) #223

Allow evaluating directories without a manifest (#72)

Allow evaluating directories without a manifest (#72) #223

Triggered via push February 20, 2025 17:17
Status Success
Total duration 1m 44s
Artifacts

gradle.yml

on: push
build_memory_footprint
1m 24s
build_memory_footprint
build_validator
22s
build_validator
build_wff_optimizer
56s
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.