Auto-update

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

Sign in to view logs

Summary
Jobs
- Auto-update
Run details
- Usage
- Workflow file

Triggered via push November 6, 2025 10:50

konnov

main

Status Success

Total duration 7s

Artifacts –

auto-update.yml

on: push