Skip to content
Back to pull request #129

Bump to latest version of Lean and fix errors introduced by breaking changes #114

Sign in to view logs

Bump to latest version of Lean and fix errors introduced by breaking changes

Bump to latest version of Lean and fix errors introduced by breaking changes #114

Triggered via pull request November 4, 2024 01:52
@Peiyang-SongPeiyang-Song
opened #129
dev
Status Failure
Total duration 4m 51s
Artifacts –

push_pr.yml

on: pull_request
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build (macos-latest)
Process completed with exit code 1.
Build (ubuntu-latest)
The job was canceled because "macos-latest" failed.
Build (ubuntu-latest)
The operation was canceled.