Back to pull request #1357

[server] Rename ServerDb to UserDb #1354 #213

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 14s

Artifacts –

agdb_api_php.yaml

on: pull_request

agdb_api_php_analyse

agdb_api_php_coverage

agdb_api_php_format