Test FFI

Revert "try out bitwuzla on snekmate" #437

Sign in to view logs

Triggered via push July 25, 2024 00:20

chore-workflows

Status Success

Total duration 54s

Artifacts –

test-ffi.yml

on: push

Matrix: test