Merge pull request #1588 from goblint/booldomain #1836

Sign in to view logs

Triggered via push October 7, 2024 13:13

sim642

issue-1594

Status Success

Total duration 5m 0s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Artifacts

Produced during runtime

Name	Size
github-pages	2.06 MB