Skip to content

TLAiBench Python

TLAiBench Python #8

Manually triggered November 3, 2025 17:43
Status Success
Total duration 4m 21s
Artifacts

translate.yml

on: workflow_dispatch
TLAiBench Python
4m 16s
TLAiBench Python
Fit to window
Zoom out
Zoom in

Annotations

1 warning
TLAiBench Python
No files were found with the provided path: *.tla *.cfg python/*.log !gold/*.tla !gold/*.cfg. No artifacts will be uploaded.