CI

ci: Upgrade CI to match Ocean (updated DMD/Ubuntu) #18

Sign in to view logs

Triggered via pull request January 27, 2025 18:16

Geod24

opened #441

Geod24:upgrade-ci

Status Success

Total duration 4m 25s

Artifacts –

ci.yml

on: pull_request

setup-ebtree / Build EBTree

Matrix: Run