Skip to content
Test Bitwuzla

Fix actions #391

Sign in to view logs

Fix actions

Fix actions #391

Triggered via pull request December 26, 2024 23:34
@filipeomfilipeom
labeled #265
filipeom:fix-actions
Status Skipped
Total duration 3s
Artifacts –

test-bitwuzla.yml

on: pull_request
test-bitwuzla
0s
test-bitwuzla
Fit to window
Zoom out
Zoom in