Skip to content
Check PR

apalache: 0.24.0 -> 0.42.0, refactor #510

Sign in to view logs

apalache: 0.24.0 -> 0.42.0, refactor

apalache: 0.24.0 -> 0.42.0, refactor #510

Triggered via pull request December 14, 2023 14:49
@JonathanLorimerJonathanLorimer
synchronize #158
lorenzleutgeb:apalache
Status Success
Total duration 7m 56s
Artifacts –

ci.yml

on: pull_request
check-pr
7m 28s
check-pr
Fit to window
Zoom out
Zoom in