Skip to content
Test external projects

try out bitwuzla on snekmate #376

Sign in to view logs

try out bitwuzla on snekmate

try out bitwuzla on snekmate #376

Triggered via push July 24, 2024 22:17
@karmacoma-ethkarmacoma-eth
pushed e169cae
chore-workflows
Status Success
Total duration 1h 37m 25s
Artifacts –

test-external.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in