Improvements in maps · viperproject/gobra@93798d6

Triggered via pull request September 21, 2023 09:06

jcp19

opened #676

joao-fix-map-triggers

Status Failure

Total duration 30m 9s

Artifacts 1

test.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
pidstat.txt Expired	494 KB