Add CI harness #16
Triggered via pull request
April 29, 2026 17:32
disteph
Status
Failure
Total duration
11h 18m 45s
Artifacts
–
ci.yml
on: pull_request
windows-latest
21m 26s
Matrix: unix
Annotations
12 errors
|
windows-latest
'int com.sri.yices.Yices.checkContextWithAssumptions(long, long, int[])'
|
|
windows-latest
'int com.sri.yices.Yices.checkContextWithAssumptions(long, long, int[])'
|
|
windows-latest
'int com.sri.yices.Yices.checkContextWithAssumptions(long, long, int[])'
|
|
windows-latest
'int com.sri.yices.Yices.checkContextWithAssumptions(long, long, int[])'
|
|
windows-latest
'int com.sri.yices.Yices.checkContextWithAssumptions(long, long, int[])'
|
|
windows-latest
'int com.sri.yices.Yices.checkContextWithAssumptions(long, long, int[])'
|
|
windows-latest
'int com.sri.yices.Yices.checkContextWithAssumptions(long, long, int[])'
|
|
windows-latest
'int com.sri.yices.Yices.checkContextWithAssumptions(long, long, int[])'
|
|
windows-latest
'int com.sri.yices.Yices.checkContextWithAssumptions(long, long, int[])'
|
|
windows-latest
'int com.sri.yices.Yices.checkContextWithAssumptions(long, long, int[])'
|
|
ubuntu-latest
The job has exceeded the maximum execution time of 6h0m0s
|
|
macos-latest
The job has exceeded the maximum execution time of 6h0m0s
|