Skip to content

games/pioneer: Remove lua52 as an optional dependency. #6274

games/pioneer: Remove lua52 as an optional dependency.

games/pioneer: Remove lua52 as an optional dependency. #6274

Triggered via pull request October 24, 2024 13:09
@pghvlaanspghvlaans
opened #8480
Status Success
Total duration 57s
Artifacts

ci.yml

on: pull_request_target
Matrix: Compute reverse dependencies
Matrix: Checks with sbolint
Fit to window
Zoom out
Zoom in