Skip to content

Merge develop into master (after a while) #620

Merge develop into master (after a while)

Merge develop into master (after a while) #620

Triggered via pull request October 31, 2024 06:28
Status Success
Total duration 34m 40s
Artifacts

ci.yml

on: pull_request
Matrix: Run checks and tests
Matrix: Formatting
Matrix: Building MDBook
Fit to window
Zoom out
Zoom in