Skip to content
release

Extend Variants when pretty printing TLA+ in Shai #1399

Sign in to view logs

Extend Variants when pretty printing TLA+ in Shai

Extend Variants when pretty printing TLA+ in Shai #1399

Triggered via pull request March 14, 2024 02:41
@shonfedershonfeder
closed #2859
add-variants-to-extends
Status Skipped
Total duration 3s
Artifacts –

release.yml

on: pull_request
cut-release
0s
cut-release
Fit to window
Zoom out
Zoom in