Skip to content
Back to pull request #8480

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

Sign in to view logs

games/pioneer: Remove lua52 as an optional dependency.

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
changes
12s
Checks with sbolint (games/pioneer)
25s
Compute reverse dependencies (games/pioneer)
12s
49s