Skip to content

[server] Split exec and exec_mut #1394 #493

[server] Split exec and exec_mut #1394

[server] Split exec and exec_mut #1394 #493

Triggered via pull request December 23, 2024 10:57
Status Success
Total duration 1m 33s
Artifacts 2

agdb_studio.yaml

on: pull_request
agdb_studio_analyse
12s
agdb_studio_analyse
agdb_studio_coverage
34s
agdb_studio_coverage
agdb_studio_e2e
1m 10s
agdb_studio_e2e
agdb_studio_format
17s
agdb_studio_format
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
diff
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
agdb_studio_analyse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
agdb_studio_format
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
agdb_studio_coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
agdb_studio_e2e
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
coverage
143 KB
e2e
185 KB