Skip to content

Actions: mpv-player/mpv

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6,659 workflow run results
6,659 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

DOCS/man/osc: remove non-existent options
lint #7537: Commit 466b553 pushed by kasper93
October 28, 2024 23:46 39s master
October 28, 2024 23:46 39s
DOCS/man/osc: remove non-existent options
lint #7536: Pull request #15206 opened by kasper93
October 28, 2024 23:41 55s kasper93:osc_docs
October 28, 2024 23:41 55s
console.lua: restore the bigger default font size
lint #7535: Commit 934bfd2 pushed by kasper93
October 28, 2024 23:13 15m 35s master
October 28, 2024 23:13 15m 35s
console.lua: restore font size and border size
lint #7534: Pull request #15205 opened by kasper93
October 28, 2024 23:12 8m 43s kasper93:fontsize
October 28, 2024 23:12 8m 43s
console.lua: default to a proportional font for select
lint #7531: Commit aa66f0d pushed by kasper93
October 28, 2024 22:30 1m 2s master
October 28, 2024 22:30 1m 2s
osc.lua: hide immediately without animation for select.lua
lint #7530: Commit cb8e3ba pushed by kasper93
October 28, 2024 22:28 38s master
October 28, 2024 22:28 38s
October 28, 2024 22:17 5m 14s
osc.lua: make shift+mbtn_left an alias of mbtn_mid
lint #7528: Commit 940ab99 pushed by kasper93
October 28, 2024 22:16 37s master
October 28, 2024 22:16 37s
context_drm_gl: add support for hdr metadata
lint #7521: Pull request #15106 synchronize by Dudemanguy
October 27, 2024 22:25 37s Dudemanguy:drm-hdr
October 27, 2024 22:25 37s
console.lua: fix the clicked line calculation
lint #7520: Commit a210639 pushed by Dudemanguy
October 27, 2024 21:36 35s master
October 27, 2024 21:36 35s
console.lua: fix the hovered line calculation
lint #7519: Pull request #15192 synchronize by guidocella
October 27, 2024 20:58 36s guidocella:console-scale
October 27, 2024 20:58 36s
October 27, 2024 20:43 33s
osc.lua: increase the title font size in box layout
lint #7515: Commit 423e8f2 pushed by kasper93
October 27, 2024 20:10 40s master
October 27, 2024 20:10 40s
console.lua: increase the font and border size
lint #7514: Commit d2fd394 pushed by kasper93
October 27, 2024 20:07 1m 0s master
October 27, 2024 20:07 1m 0s