[server] Split exec and exec_mut #1394 #489
michaelvlachagdb_server.yaml
on: pull_request
diff
5s
agdb_server_analyse
45s
agdb_server_coverage
6m 15s
agdb_server_test
3m 50s
agdb_server_format
15s
Annotations
1 error and 5 warnings
|
agdb_server_coverage
Process completed with exit code 1.
|
|
diff
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
agdb_server_format
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
agdb_server_analyse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
agdb_server_test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
agdb_server_coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|