Skip to content
Backport PR to LTS release branch(es)

Align the _logline in a TLA+ counterexample with its corresponding entry in the JSON log, from which the TLA+ state has been constructed. #2171

Sign in to view logs

Align the _logline in a TLA+ counterexample with its corresponding entry in the JSON log, from which the TLA+ state has been constructed.

Align the _logline in a TLA+ counterexample with its corresponding entry in the JSON log, from which the TLA+ state has been constructed. #2171

Triggered via pull request November 3, 2023 09:55
@lemmylemmy
closed #5812
Status Skipped
Total duration 3s
Artifacts –

backport.yml

on: pull_request_target
Backport PR
0s
Backport PR
Fit to window
Zoom out
Zoom in