Added sort and const visitors #126

Triggered via push July 23, 2023 15:14

AdamZsofi

btor2-frontend

Status Success

Total duration 14m 2s

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: push

Matrix: test-docker

Matrix: test-linux

Matrix: deploy-docker

Produced during runtime

Name	Size
ThetaJars Expired	235 MB