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. #2170

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. #2170

Triggered via pull request November 3, 2023 01:47
@lemmylemmy
labeled #5812
Status Skipped
Total duration 2s
Artifacts –

backport.yml

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