Skip to content

Rename the master branch to main #755

Rename the master branch to main

Rename the master branch to main #755

Triggered via pull request November 3, 2023 09:30
Status Success
Total duration 3m 12s
Artifacts

ci.yml

on: pull_request
Static analysis
43s
Static analysis
Coding styles
14s
Coding styles
Matrix: tests
Fit to window
Zoom out
Zoom in