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

Syntactic change to show sender and receive in action labels of TLC counterexamples. #1904

Sign in to view logs

Syntactic change to show sender and receive in action labels of TLC counterexamples.

Syntactic change to show sender and receive in action labels of TLC counterexamples. #1904

Triggered via pull request September 6, 2023 21:26
@lemmylemmy
labeled #5631
Status Skipped
Total duration 2s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

backport.yml

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