Merge pull request #3243 from dunxen/2024-08-reremove-balancemsat #15392
build.yml
on: push
coverage
6m 31s
benchmark
34m 49s
check_commits
10s
check_release
2m 16s
fuzz
1h 27m
linting
1m 5s
rustfmt
14s
incremental-mutants
0s
Matrix: build
Annotations
3 errors
linting
Process completed with exit code 101.
|
build (windows-latest, 1.63.0)
The job running on runner GitHub Actions 7 has exceeded the maximum execution time of 360 minutes.
|
build (windows-latest, 1.63.0)
The operation was canceled.
|