Skip to content
Build dockerfiles

First tests completed about clock predicate abstraction #1548

Sign in to view logs

First tests completed about clock predicate abstraction

First tests completed about clock predicate abstraction #1548

Triggered via push October 31, 2023 18:36
@kopero2000kopero2000
pushed 3dc717f
xta-eager
Status Success
Total duration 3m 21s
Artifacts –

docker-tools.yml

on: push
cfa-cli-docker
2m 31s
cfa-cli-docker
sts-cli-docker
3m 6s
sts-cli-docker
xsts-cli-docker
2m 39s
xsts-cli-docker
xta-cli-docker
3m 8s
xta-cli-docker
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
cfa-cli-docker
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/
xsts-cli-docker
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/
sts-cli-docker
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/
xta-cli-docker
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/