Skip to content
linux

Make ordering of exec_policy overload consistent in BDD and ZDD API #180

Sign in to view logs

Make ordering of exec_policy overload consistent in BDD and ZDD API

Make ordering of exec_policy overload consistent in BDD and ZDD API #180

Triggered via push October 2, 2023 12:48
@SSoelvstenSSoelvsten
pushed 144a6d1
main
Status Success
Total duration 18m 22s
Artifacts –

linux.yml

on: push
Skip job?
6s
Skip job?
Matrix: build_test
Matrix: skip_build
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
Build + Test (Linux, clang-12)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build + Test (Linux, clang-14)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build + Test (Linux, clang-15)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build + Test (Linux, gcc-11)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build + Test (Linux, gcc-10)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build + Test (Linux, gcc-12)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/