Merge pull request #2995 from mtzguido/z3_version_switch #2494

Triggered via push August 3, 2023 23:30

mtzguido

master

Status Success

Total duration 10m 41s

Artifacts 2

linux-x64.yaml

on: push

2 errors

Unable to process file command 'env' successfully.

Invalid format '<html><head>'

Produced during runtime

Name	Size
Resource usage information (individual) Expired	119 KB
Resource usage information (summary) Expired	3.96 KB