Skip to content
Auto-update

Merge pull request #3209 from apalache-mc/release/0.51.1 #864

Sign in to view logs

Merge pull request #3209 from apalache-mc/release/0.51.1

Merge pull request #3209 from apalache-mc/release/0.51.1 #864

Triggered via push November 6, 2025 12:51
@konnovkonnov
pushed 19606d0
main
Status Success
Total duration 8s
Artifacts –

auto-update.yml

on: push
Auto-update
4s
Auto-update
Fit to window
Zoom out
Zoom in