Skip to content

CI: point radae checkout at main instead of dr-radev2 - #19

Open
drowe67 wants to merge 1 commit into
mainfrom
dr-ci-radae-main
Open

drowe67 wants to merge 1 commit into
mainfrom
dr-ci-radae-main

CI: point radae checkout at main instead of dr-radev2

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

Annotations

1 warning
Running ctests (ubuntu-22.04, 3.10)
succeeded Sep 4, 2026 in 7m 52s