CI

docs: Add DafnyBenchmarks context to CLAUDE.md #129

Sign in to view logs

Triggered via push July 28, 2025 15:22

bizid777

function_tracking

Status Failure

Total duration 23m 56s

Artifacts –

ci.yml

on: push

Matrix: build-and-test

Annotations

2 errors, 2 warnings, and 2 notices

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.

build-and-test (macos-latest)

The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520

build-and-test (macos-latest)

The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520