Check Pull Request

MAPF_R SMT-COMP 2024 submission #40

Sign in to view logs

Re-run triggered April 14, 2024 17:20

hansjoergschurr

#14

Tomaqa:main

Status Failure

Total duration 1m 37s

Artifacts –

check-pull-request.yml

on: pull_request

check-with-dolmen

Annotations

1 error

basic-checks

Process completed with exit code 1.