CICD

[ new ] Add support for Idris 2 programming language #4062

Job	Run time
Extract crate metadata	3s
cargo audit	2m 44s
Documentation	53s
Ensure 'cargo fmt' has been run	14s
Run tests with updated syntaxes and themes	5m 8s
License checks	1m 12s
Run tests with system wide configuration	2m 48s
Minimum supported rust version	1m 27s
aarch64-unknown-linux-musl (ubuntu-20.04)	4m 41s
aarch64-unknown-linux-gnu (ubuntu-20.04)	4m 34s
arm-unknown-linux-gnueabihf (ubuntu-20.04)	4m 46s
arm-unknown-linux-musleabihf (ubuntu-20.04)	4m 32s
i686-pc-windows-msvc (windows-2019)	9m 53s
i686-unknown-linux-gnu (ubuntu-20.04)	4m 33s
i686-unknown-linux-musl (ubuntu-20.04)	4m 26s
x86_64-apple-darwin (macos-13)	6m 50s
aarch64-apple-darwin (macos-14)	3m 40s
x86_64-pc-windows-gnu (windows-2019)	11m 11s
x86_64-pc-windows-msvc (windows-2019)	10m 17s
x86_64-unknown-linux-gnu (ubuntu-20.04)	4m 19s
x86_64-unknown-linux-musl (ubuntu-20.04)	4m 21s
all-jobs	1s
Publish to Winget	0s
	1h 32m 33s

Provide feedback