Skip to content

Rename VTKFile to VTKGridFile #267

Rename VTKFile to VTKGridFile

Rename VTKFile to VTKGridFile #267

Triggered via pull request July 4, 2024 07:24
Status Success
Total duration 1m 2s
Artifacts

Check.yml

on: pull_request
pre-commit
11s
pre-commit
ExplicitImports.jl
54s
ExplicitImports.jl
Fit to window
Zoom out
Zoom in