Skip to content

TLAiBench Python

TLAiBench Python #6

Manually triggered October 7, 2025 12:51
Status Failure
Total duration 2m 4s
Artifacts

translate.yml

on: workflow_dispatch
TLAiBench Python
2m 0s
TLAiBench Python
Fit to window
Zoom out
Zoom in

Annotations

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