Skip to content

Change exposed HTTP port from 8080 to 8000 #215

Change exposed HTTP port from 8080 to 8000

Change exposed HTTP port from 8080 to 8000 #215

Triggered via pull request December 15, 2025 10:31
Status Success
Total duration 11m 35s
Artifacts

lint.yml

on: pull_request
lint and link check
10m 16s
lint and link check
Fit to window
Zoom out
Zoom in