Skip to content
Format and License Checks

Update TLA+ docs page #16036

Sign in to view logs

Update TLA+ docs page

Update TLA+ docs page #16036

Triggered via pull request October 23, 2023 13:50
@heidihowardheidihoward
synchronize #5753
heidihoward:tla-docs-page
Status Success
Total duration 3m 8s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-checks.yml

on: pull_request
checks
2m 59s
checks
Fit to window
Zoom out
Zoom in