Adding back the llvm frontend #169

Triggered via pull request July 24, 2023 11:53

synchronize #200

svcomp22-llvm

Status Success

Total duration 15m 56s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

linux-build-test-deploy.yml

on: pull_request

Matrix: test-docker

Matrix: test-linux

Matrix: deploy-docker

Produced during runtime

Name	Size
ThetaJars Expired	263 MB