Skip to content
agdb

[server] Rename ServerDb to UserDb #1354 #425

Sign in to view logs

[server] Rename ServerDb to UserDb #1354

[server] Rename ServerDb to UserDb #1354 #425

Triggered via pull request November 10, 2024 12:27
@michaelvlachmichaelvlach
opened #1357
1354-server-rename-serverdb-to-userdb
Status Success
Total duration 16s
Artifacts –

agdb.yaml

on: pull_request
diff
4s
diff
agdb_analyse
0s
agdb_analyse
agdb_coverage
0s
agdb_coverage
agdb_doctest
0s
agdb_doctest
agdb_format
0s
agdb_format
Fit to window
Zoom out
Zoom in