Skip to content

Use . instead of source since github ci uses sh and not bash by defau… #368

Use . instead of source since github ci uses sh and not bash by defau…

Use . instead of source since github ci uses sh and not bash by defau… #368

build

succeeded Feb 19, 2025 in 9m 11s