Skip to content
TestSolver

SMTS submission 2025 update (bug fix + 2 more versions) #379

Sign in to view logs

SMTS submission 2025 update (bug fix + 2 more versions)

SMTS submission 2025 update (bug fix + 2 more versions) #379

Triggered via pull request July 17, 2025 09:27
@TomaqaTomaqa
synchronize #203
Tomaqa:smts25-update
Status Success
Total duration 1m 58s
Artifacts 1

test-solver.yml

on: pull_request
generate-test-script
58s
generate-test-script
run-test-script
47s
run-test-script
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
generated_script Expired
9.63 MB
sha256:5f658c9238e12d067c24a3e9bcc778665ab27ef849e91d9fecbc66f72fd065ac