This repository has been archived by the owner on Oct 9, 2023. It is now read-only.

resolve CI/`sudo` and minor code adjustments (#1698) #13475

Triggered via push October 8, 2023 14:28

Borda

master

Status Success

Total duration 33m 2s

Artifacts 1

docs-check.yml

on: push

Produced during runtime

Name	Size
docs-results-a374dd4f6d37f42d4a6a6f08f2e1caec15e12b36 Expired	29.4 MB