Skip to content

Switch to github actions#1394

Merged
awni merged 1 commit into
mainfrom
move_to_actions
Nov 20, 2025
Merged

Switch to github actions#1394
awni merged 1 commit into
mainfrom
move_to_actions

switch to github actions

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

The logs for this run have expired and are no longer available.