Release Bundle

Propogate backend options into goto-synthesizer #81

Sign in to view logs

Triggered via pull request October 30, 2023 20:32

adpaco-aws

synchronize #2643

qinheping:synthesizer-args

Status Success

Total duration 27m 6s

Artifacts 4

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

release.yml

on: pull_request

BuildBundle-Linux

BuildBundle-MacOs

TestAlternativePlatforms

Matrix: TestBundle

Artifacts

Produced during runtime

Name	Size
kani-latest-x86_64-apple-darwin.tar.gz Expired	91.2 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired	113 MB
linux-kani-verifier.crate Expired	19.6 KB
macos-12-kani-verifier.crate Expired	19.6 KB