Skip to content

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

[ new ] Add support for Idris 2 programming language

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

Triggered via pull request January 27, 2025 20:47
Status Success
Total duration 12m 34s
Artifacts 21

CICD.yml

on: pull_request
Extract crate metadata
6s
Extract crate metadata
Ensure 'cargo fmt' has been run
11s
Ensure 'cargo fmt' has been run
License checks
1m 52s
License checks
Run tests with updated syntaxes and themes
5m 22s
Run tests with updated syntaxes and themes
Run tests with system wide configuration
2m 36s
Run tests with system wide configuration
Documentation
47s
Documentation
cargo audit
2m 47s
cargo audit
Matrix: build
Minimum supported rust version
1m 23s
Minimum supported rust version
Publish to Winget
0s
Publish to Winget
all-jobs
0s
all-jobs
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Extract crate metadata
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cargo audit
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
all-jobs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
bat-musl_0.25.0_arm64.deb
2.35 MB
bat-musl_0.25.0_musl-linux-amd64.deb
2.58 MB
bat-musl_0.25.0_musl-linux-i686.deb
2.59 MB
bat-v0.25.0-aarch64-apple-darwin.tar.gz
2.83 MB
bat-v0.25.0-aarch64-unknown-linux-gnu.tar.gz
2.92 MB
bat-v0.25.0-aarch64-unknown-linux-musl.tar.gz
2.97 MB
bat-v0.25.0-arm-unknown-linux-gnueabihf.tar.gz
2.97 MB
bat-v0.25.0-arm-unknown-linux-musleabihf.tar.gz
3 MB
bat-v0.25.0-i686-pc-windows-msvc.zip
3 MB
bat-v0.25.0-i686-unknown-linux-gnu.tar.gz
3.14 MB
bat-v0.25.0-i686-unknown-linux-musl.tar.gz
3.14 MB
bat-v0.25.0-x86_64-apple-darwin.tar.gz
2.96 MB
bat-v0.25.0-x86_64-pc-windows-gnu.zip
3.3 MB
bat-v0.25.0-x86_64-pc-windows-msvc.zip
3.21 MB
bat-v0.25.0-x86_64-unknown-linux-gnu.tar.gz
3.1 MB
bat-v0.25.0-x86_64-unknown-linux-musl.tar.gz
3.15 MB
bat_0.25.0_amd64.deb
2.54 MB
bat_0.25.0_arm64.deb
2.3 MB
bat_0.25.0_armhf.deb
2.32 MB
bat_0.25.0_i686.deb
2.59 MB
bat_0.25.0_musl-linux-armhf.deb
2.35 MB