CI

Merge shell extension installer to main installer #1246

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on macOS	3m 30s
Build on Fedora 38	3m 52s
Run Coverity tests	0s
Build on Fedora 39	3m 39s
Run CodeQL tests	11m 56s
Build on Ubuntu 20.04	2m 42s
Build on Windows (142)	2m 35s
Build on Windows (143)	2m 42s
Build on Ubuntu 22.04	2m 34s
Build on Ubuntu 23.10	2m 33s
	36m 3s