Skip to content
CI

feat: Port 20 more numeric-only Dafny synthesis tasks (batch 8) #116

Sign in to view logs

feat: Port 20 more numeric-only Dafny synthesis tasks (batch 8)

feat: Port 20 more numeric-only Dafny synthesis tasks (batch 8) #116

Triggered via pull request July 11, 2025 00:12
@alokalok
opened #117
dafnybench-batch8
Status Failure
Total duration 2m 59s
Artifacts –

ci.yml

on: pull_request
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
build-and-test (macos-latest)
Process completed with exit code 1.
build-and-test (ubuntu-latest-m)
Process completed with exit code 1.
build-and-test (macos-latest)
No files were found with the provided path: .lake/build/trace logs/ *.log. No artifacts will be uploaded.
build-and-test (ubuntu-latest-m)
No files were found with the provided path: .lake/build/trace logs/ *.log. No artifacts will be uploaded.