Skip to content

use grisu2 for formatting #257

use grisu2 for formatting

use grisu2 for formatting #257

Triggered via pull request October 4, 2023 10:44
@alicebobalicebob
synchronize #347
origin/grisu
Status Success
Total duration 4m 32s
Artifacts

ci.yaml

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