Не совсем согласен с тем, что picoCTF вообще для крупных проектов подходит — мне кажется, там много ограничений и API не всегда справляется с серьезными нагрузками. GitHub Actions с Docker действительно гибче, но скрипты иногда реально превращаются в спагетти, если не держать код в порядке. В итоге автоматизация важна, но лёгких решений на самом деле мало, всё равно нужно много времени на поддержку.