Skip to content

Actions: canonical/mir

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,545 workflow runs
1,545 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

platforms/gbm-kms: Fix DRM Property leak
Coverage #876: Pull request #3135 opened by RAOF
November 17, 2023 06:58 22m 13s fix-drm-mode-property-leak
November 17, 2023 06:58 22m 13s
platform/DisplaySink: Remove pixel_size() accessor
Coverage #875: Pull request #3134 opened by RAOF
November 17, 2023 06:08 3m 44s remove-pixel-size
November 17, 2023 06:08 3m 44s
(#1762) Allow shells to enable XWayland by default
Coverage #874: Pull request #3133 opened by hbatagelo
November 16, 2023 21:32 15m 57s hbatagelo:issue/1762
November 16, 2023 21:32 15m 57s
Don't allow fullscreen surfaces to be resized
Coverage #873: Pull request #3132 synchronize by AlanGriffiths
November 16, 2023 17:27 12m 25s send-more-configure-events
November 16, 2023 17:27 12m 25s
Drop dead code
Coverage #871: Pull request #3131 opened by AlanGriffiths
November 16, 2023 17:23 15m 57s drop-dead-code
November 16, 2023 17:23 15m 57s
Add --mir-version command line option. solves MirServer/mir#3058
Coverage #870: Pull request #3130 synchronize by pillowtrucker
November 16, 2023 16:21 15m 14s pillowtrucker:warmup2
November 16, 2023 16:21 15m 14s
Add --mir-version command line option. solves MirServer/mir#3058
Coverage #868: Pull request #3130 synchronize by pillowtrucker
November 16, 2023 15:32 1m 53s pillowtrucker:warmup2
November 16, 2023 15:32 1m 53s
Add --mir-version command line option. solves MirServer/mir#3058
Coverage #867: Pull request #3130 synchronize by pillowtrucker
November 16, 2023 15:17 15m 7s pillowtrucker:warmup2
November 16, 2023 15:17 15m 7s
Mir shell unstable
Coverage #865: Pull request #3052 ready_for_review by Saviq
November 16, 2023 14:14 1m 18s mir-shell
November 16, 2023 14:14 1m 18s
Merge pull request #3127 from MirServer/fedora-39
Coverage #864: Commit f13aabd pushed by github-merge-queue bot
November 16, 2023 12:49 15m 48s main
November 16, 2023 12:49 15m 48s
Merge pull request #3126 from pillowtrucker/fix-countrycode-comment
Coverage #863: Commit 29342b0 pushed by github-merge-queue bot
November 16, 2023 10:01 15m 17s main
November 16, 2023 10:01 15m 17s
spread: fedora-39 is live
Coverage #862: Pull request #3127 opened by Saviq
November 16, 2023 09:12 15m 2s fedora-39
November 16, 2023 09:12 15m 2s
Merge pull request #3123 from MirServer/more-renaming
Coverage #860: Commit 248f5b2 pushed by github-merge-queue bot
November 15, 2023 17:49 17m 42s main
November 15, 2023 17:49 17m 42s
More better names
Coverage #859: Pull request #3123 synchronize by AlanGriffiths
November 15, 2023 16:24 17m 22s more-renaming
November 15, 2023 16:24 17m 22s
More better names
Coverage #858: Pull request #3123 synchronize by AlanGriffiths
November 15, 2023 14:45 17m 52s more-renaming
November 15, 2023 14:45 17m 52s
More better names
Coverage #857: Pull request #3123 synchronize by AlanGriffiths
November 15, 2023 14:23 17m 25s more-renaming
November 15, 2023 14:23 17m 25s
More better names
Coverage #856: Pull request #3123 synchronize by AlanGriffiths
November 15, 2023 12:12 17m 27s more-renaming
November 15, 2023 12:12 17m 27s
Merge pull request #3124 from MirServer/consider-egl-generic-last
Coverage #855: Commit 47d782f pushed by github-merge-queue bot
November 14, 2023 22:55 23m 28s main
November 14, 2023 22:55 23m 28s
Make egl-generic the rendering platform of last resort
Coverage #854: Pull request #3124 opened by AlanGriffiths
November 10, 2023 14:53 39m 56s consider-egl-generic-last
November 10, 2023 14:53 39m 56s
Sorting the egl-generic rendering platform to the end of the list
Coverage #853: Pull request #3122 synchronize by mattkae
November 10, 2023 12:35 20m 5s bugfix/3112
November 10, 2023 12:35 20m 5s
Sorting the egl-generic rendering platform to the end of the list
Coverage #852: Pull request #3122 synchronize by mattkae
November 10, 2023 12:32 3m 8s bugfix/3112
November 10, 2023 12:32 3m 8s
ProTip! You can narrow down the results and go further in time using created:<2023-11-10 or the other filters available.