brew test-bot

Merge pull request #15 from diffblue/cbmc-6.4.1 #94

Sign in to view logs

Triggered via push November 29, 2024 09:28

tautschnig

main

Status Success

Total duration 1m 26s

Artifacts –

tests.yml

on: push

Matrix: test-bot