Skip to content

Change webkit2gtk map to webkitgtk_4_0 #2947

Change webkit2gtk map to webkitgtk_4_0

Change webkit2gtk map to webkitgtk_4_0 #2947

maintainer-scripts

succeeded Feb 24, 2025 in 12s
Set up job
1s
Run actions/checkout@v4
1s
Run tests with ghc966: Checking the maintainer scripts...y
6s
Post Run actions/checkout@v4
0s
Complete job
0s