Back to pull request #1357

[server] Rename ServerDb to UserDb #1354 #428

Sign in to view logs

Triggered via pull request November 10, 2024 12:27

opened #1357

1354-server-rename-serverdb-to-userdb

Status Success

Total duration 19s

Artifacts –

agdb_studio.yaml

on: pull_request

agdb_studio_analyse

agdb_studio_coverage

agdb_studio_e2e

agdb_studio_format