Skip to content

CI: Build on noble and drop jammy. Also build master on resolute. - #257

Merged
masterleinad merged 2 commits into
dealii:masterfrom
marcfehling:master
Jul 30, 2026
Merged

CI: Build on noble and drop jammy. Also build master on resolute.#257
masterleinad merged 2 commits into
dealii:masterfrom
marcfehling:master

Fix race condition.

08b5ec3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view