Updated tlaplus/examples corpus #54

Sign in to view logs

Triggered via push May 17, 2024 22:36

ahelwer

main

Status Success

Total duration 4m 28s

Artifacts –

ci.yml

on: push

Matrix: build-and-test