Skip to content
CI

WIP fixing cvc5 bugs #17

Sign in to view logs

WIP fixing cvc5 bugs

WIP fixing cvc5 bugs #17

Triggered via push November 13, 2025 16:54
@martin-csmartin-cs
pushed 1a99ff9
symfpu-1.0.0+-patch
Status Success
Total duration 44m 42s
Artifacts 1

ci.yml

on: push
Set up release pages
3s
Set up release pages
Matrix: builds
Clean up artifacts from latest
0s
Clean up artifacts from latest
Fit to window
Zoom out
Zoom in

Annotations

2 notices
macos:production-arm64-cross
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046
macos:production
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046

Artifacts

Produced during runtime
Name Size Digest
documentation Expired
4.83 MB
sha256:da740973f138bdb8060d21f2b71df34031165df0b61da6c65fc65ea6ad880026