List Github models · tlaplus/TLAiBench@a7f6bc4

Manually triggered November 10, 2025 17:27

lemmy

main

Status Failure

Total duration 1m 7s

Artifacts 1

models.yml

on: workflow_dispatch

1 error

Process completed with exit code 251.

Produced during runtime

Name	Size	Digest
ListModels	7.08 KB	`sha256:9759c232cd944360af0e4d9274b7c1d804da2f3208357477bd388512a4fa0961`