Skip to content

Change exposed HTTP port from 8080 to 8000 #223

Change exposed HTTP port from 8080 to 8000

Change exposed HTTP port from 8080 to 8000 #223

Triggered via pull request December 16, 2025 13:18
Status Success
Total duration 11m 36s
Artifacts

lint.yml

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