Skip to content
CodeQL

Add the option to rebase as opposed to a pull prior to a push if the WIKI updaters need to retry #491

Sign in to view logs

Add the option to rebase as opposed to a pull prior to a push if the WIKI updaters need to retry

Add the option to rebase as opposed to a pull prior to a push if the WIKI updaters need to retry #491

Triggered via pull request July 27, 2023 14:31
@rfennellrfennell
synchronize #1545
issue1544-wiki-updater-rebase
Status Success
Total duration 1m 53s
Artifacts 1

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
debug-artifacts-javascript Expired
22.1 MB