Approve GitHub Workflows

TLA+ Trace validation #204

Sign in to view logs

Triggered via pull request April 18, 2024 06:45

joshuazh-x

synchronize #113

Status Skipped

Total duration 3s

Artifacts –

gh-workflow-approve.yaml

on: pull_request_target

Approve ok-to-test