FM'26 Tutorial · goblint/analyzer@344ee3e

Triggered via pull request May 20, 2026 14:56

sim642

synchronize #2012

fm26-tutorial

Status Success

Total duration 15m 59s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3.05 MB	`sha256:17d75071b0115c7efe286e65d233ccadb6d3cdf2c85dbbc95edfe3b4ab343478`
suite_result-ubuntu-latest	3.09 MB	`sha256:cdfdc93eb62c915ac25f15522c84c3a3c87010d0c03ee22e2fb1356448e380e4`