lint & build changed ports

boolector: update to 3.2.4 #1304

Sign in to view logs

Triggered via push September 3, 2024 10:16

boolector

Status Success

Total duration 3m 42s

Artifacts 3

main.yml

on: push

Matrix: build

Artifacts

Produced during runtime

Name	Size
logs-macos-12	17.1 KB
logs-macos-13	17.8 KB
logs-macos-14	17.8 KB