Skip to content
Format Check

Convert pos_diff to NHS eltype if coordinates have a different eltype #618

Sign in to view logs

Convert pos_diff to NHS eltype if coordinates have a different eltype

Convert pos_diff to NHS eltype if coordinates have a different eltype #618

Triggered via pull request October 31, 2025 17:33
@efaulhaberefaulhaber
synchronize #132
ef/coordinates-eltype
Status Success
Total duration 1m 23s
Artifacts –

FormatCheck.yml

on: pull_request
Check format with JuliaFormatter.jl
1m 15s
Check format with JuliaFormatter.jl
Fit to window
Zoom out
Zoom in