parallelizes desugaring · viperproject/gobra@25b9b10

Triggered via push July 18, 2023 13:06

ArquintL

parallelize-desugarer

Status Success

Total duration 33m 30s

Artifacts 1

test.yml

on: push

Produced during runtime

Name	Size
pidstat.txt Expired	558 KB