Skip to content
GLuaLint

Merge pull request #37 from wrefgtzweve/improved-time #150

Sign in to view logs

Merge pull request #37 from wrefgtzweve/improved-time

Merge pull request #37 from wrefgtzweve/improved-time #150

Triggered via push May 11, 2025 00:15
@StyledStrikeStyledStrike
pushed 4f35f8e
master
Status Success
Total duration 14s
Artifacts –

glualint.yml

on: push
Lint  /  lint
8s
Lint / lint
Fit to window
Zoom out
Zoom in