Skip to content
lua_lint

Rename hud_elem_type to type #1537

Sign in to view logs

Rename hud_elem_type to type

Rename hud_elem_type to type #1537

Triggered via pull request December 7, 2023 13:54
@cx384cx384
synchronize #14065
cx384:deprecate_hud_elem_type
Status Success
Total duration 7m 7s
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 57s
Compile and run multiplayer tests
Builtin Luacheck and Unit Tests
30s
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: