Skip to content
Test

try out bitwuzla on snekmate #822

Sign in to view logs

try out bitwuzla on snekmate

try out bitwuzla on snekmate #822

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

test.yml

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