Skip to content
Dive CI

Fix an error that GPU ID is not dumped #65

Sign in to view logs

Fix an error that GPU ID is not dumped

Fix an error that GPU ID is not dumped #65

Triggered via pull request October 13, 2023 19:40
@RenfengLiuRenfengLiu
synchronize #17
RenfengLiu:fix_dump_error
Status Success
Total duration 10m 18s
Artifacts –

main.yml

on: pull_request
lint
1m 50s
lint
build_Windows_Debug
7m 39s
build_Windows_Debug
build_Windows_Release
6m 22s
build_Windows_Release
build_Linux_Debug
9m 44s
build_Linux_Debug
build_Linux_Release
6m 57s
build_Linux_Release
build_Android
4m 8s
build_Android
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build_Windows_Release
The following actions uses node12 which is deprecated and will be forced to run on node16: ashutoshvarma/setup-ninja@master. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build_Windows_Debug
The following actions uses node12 which is deprecated and will be forced to run on node16: ashutoshvarma/setup-ninja@master. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/