Skip to content
CI

Merge pull request #517 from johannes-fischer/generative_fo_pomdp #224

Sign in to view logs

Merge pull request #517 from johannes-fischer/generative_fo_pomdp

Merge pull request #517 from johannes-fischer/generative_fo_pomdp #224

Triggered via push August 26, 2023 13:53
@rejuvyeshrejuvyesh
pushed 42bae3b
master
Status Success
Total duration 9m 5s
Artifacts –

CI.yml

on: push
Documentation
4m 4s
Documentation
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Documentation
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/
Julia 1 - ubuntu-latest - x64
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/
Julia 1 - macOS-latest - x64
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/
Julia 1 - windows-latest - x64
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/