Skip to content
CI

feat: Port 20 more numeric-only Dafny synthesis tasks (batch 6) #112

Sign in to view logs

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

feat: Port 20 more numeric-only Dafny synthesis tasks (batch 6) #112

Triggered via pull request July 10, 2025 23:27
@alokalok
opened #115
dafnybench-batch6
Status Failure
Total duration 2m 44s
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.