Skip to content
Lint GitHub Actions workflows

Make everserver port selection random #23366

Sign in to view logs

Make everserver port selection random

Make everserver port selection random #23366

Triggered via pull request February 7, 2025 13:19
@frode-aarstadfrode-aarstad
synchronize #10010
frode-aarstad:everserver-port-selection
Status Success
Total duration 30s
Artifacts –

actionlint.yml

on: pull_request
Check all workflow files
14s
Check all workflow files
Fit to window
Zoom out
Zoom in