CI

Fix crash from highlight selection plugin when deleting selection #1787

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (unstable)	1m 3s
Lint	10s
build (development-target)	1m 5s
Flatpak (x86_64, ubuntu-latest)	7m 5s
build (stable)	59s
Flatpak (aarch64, ubuntu-24.04-arm)	5m 24s
	15m 46s