Skip to content

Extend STP_STUB and YICES_STUB flag #937

Extend STP_STUB and YICES_STUB flag

Extend STP_STUB and YICES_STUB flag #937

Triggered via pull request August 16, 2023 12:53
@VekhirVekhir
synchronize #600
Vekhir:stp-sys
Status Success
Total duration 5h 0m 41s
Artifacts 16

build.yml

on: pull_request
Matrix: build-macOS
Matrix: build-ubuntu
Check: code cleanliness
6s
Check: code cleanliness
Check: testsuite lint
7s
Check: testsuite lint
Matrix: build-doc-macOS
Matrix: build-doc-ubuntu
Matrix: build-releasenotes-ubuntu
Matrix: test-bdw-macOS
Matrix: test-contrib-macOS
Matrix: test-macOS
Matrix: test-toooba-macOS
Matrix: test-bdw-ubuntu
Matrix: test-contrib-ubuntu
Matrix: test-toooba-ubuntu
Matrix: test-ubuntu
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
macos-11 build Expired
22.3 MB
macos-11 build doc Expired
3.67 MB
macos-11-doc-not-tar Expired
3.89 MB
macos-12 build Expired
22.4 MB
macos-12 build doc Expired
3.67 MB
macos-12-doc-not-tar Expired
3.89 MB
macos-13 build Expired
22.3 MB
macos-13 build doc Expired
3.67 MB
macos-13-doc-not-tar Expired
3.89 MB
ubuntu-20.04 build Expired
21.7 MB
ubuntu-20.04 build doc Expired
3.56 MB
ubuntu-20.04-doc-not-tar Expired
3.76 MB
ubuntu-22.04 build Expired
21.7 MB
ubuntu-22.04 build doc Expired
3.6 MB
ubuntu-22.04 releasenotes Expired
79.7 KB
ubuntu-22.04-doc-not-tar Expired
3.82 MB