Skip to content
Check

correct parsing rules for loop invariants (#214) #925

Sign in to view logs

correct parsing rules for loop invariants (#214)

correct parsing rules for loop invariants (#214) #925

Triggered via push October 22, 2024 01:19
@mkurnikovmkurnikov
pushed 373aba6
master
Status Success
Total duration 7m 24s
Artifacts –

check.yml

on: push
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
tests (242)
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
tests (242)
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
tests (242)
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
tests (242)
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
tests (242)
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
tests (243-SNAPSHOT)
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
tests (243-SNAPSHOT)
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
tests (243-SNAPSHOT)
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
tests (243-SNAPSHOT)
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
tests (243-SNAPSHOT)
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.