CI

add TLA+ extension #14528

Sign in to view logs

This workflow is awaiting approval from a maintainer in #5510

Triggered via pull request April 5, 2026 14:53

opened #5510

suckrowPierre:main

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #5510

ci.yml

on: pull_request