Skip to content
lua_lint

Rename hud_elem_type to type #1560

Sign in to view logs

Rename hud_elem_type to type

Rename hud_elem_type to type #1560

Triggered via pull request December 13, 2023 17:23
@cx384cx384
synchronize #14065
cx384:deprecate_hud_elem_type
Status Success
Total duration 4m 4s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lua.yml

on: pull_request
Compile and run multiplayer tests
3m 56s
Compile and run multiplayer tests
Builtin Luacheck and Unit Tests
29s
Builtin Luacheck and Unit Tests
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Builtin Luacheck and Unit Tests
gh-actions-lua: Cache restored: lua:5.1.5:linux:x64: