Fix renaming extension key name in Database Settings #1237

Sign in to view logs

Triggered via pull request October 12, 2024 20:00

varjolintu

opened #11354

varjolintu:fix/rename_extension_key

Status Success

Total duration 9m 58s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze