Approve GitHub Workflows

TLA+ Trace validation #198

Sign in to view logs

Triggered via pull request April 6, 2024 13:38

joshuazh-x

synchronize #113

Status Skipped

Total duration 2s

Artifacts –

gh-workflow-approve.yaml

on: pull_request_target

Approve ok-to-test