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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cut-release
0s
0s