brew test-bot

Merge pull request #14 from diffblue/cbmc-6.4.0 #93

Sign in to view logs

Triggered via push November 6, 2024 18:40

tautschnig

main

Status Success

Total duration 1m 5s

Artifacts –

tests.yml

on: push

Matrix: test-bot