Skip to content
CI

feat: Port 20 additional Dafny synthesis tasks (batch 4) #103

Sign in to view logs

feat: Port 20 additional Dafny synthesis tasks (batch 4)

feat: Port 20 additional Dafny synthesis tasks (batch 4) #103

Triggered via push July 10, 2025 17:21
@alokalok
pushed 0bd6fff
dafnybench
Status Failure
Total duration 2m 25s
Artifacts –

ci.yml

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

Annotations

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