Use standard In_channel.with_open_* and Out_channel.with_open_* for M… · goblint/analyzer@335469c

Triggered via push November 28, 2025 08:27

sim642

channel-with

Status Success

Total duration 4m 37s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.5 MB	`sha256:58e1be5ed3f11d78f97d7cd82636421f8e8ceb598897abb0f4edb574c61e15f1`