Skip to content
deploy

Merge pull request #3208 from apalache-mc/release/0.51.0 #1433

Sign in to view logs

Merge pull request #3208 from apalache-mc/release/0.51.0

Merge pull request #3208 from apalache-mc/release/0.51.0 #1433

Triggered via push November 6, 2025 10:50
@konnovkonnov
pushed aefd2c2
main
Status Success
Total duration 15s
Artifacts –

deploy.yml

on: push
deploy
10s
deploy
Fit to window
Zoom out
Zoom in