Skip to content

ci: remove conflicting option to push benchmark on github pages #5571

ci: remove conflicting option to push benchmark on github pages

ci: remove conflicting option to push benchmark on github pages #5571

Triggered via pull request October 3, 2024 13:13
Status Success
Total duration 3m 24s
Artifacts

codeql.yml

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