Skip to content

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

[ new ] Add support for Idris 2 programming language

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

Triggered via pull request January 15, 2025 08:04
Status Success
Total duration 10m 51s
Artifacts 21

CICD.yml

on: pull_request
Extract crate metadata
7s
Extract crate metadata
Ensure 'cargo fmt' has been run
7s
Ensure 'cargo fmt' has been run
License checks
1m 42s
License checks
Run tests with updated syntaxes and themes
5m 4s
Run tests with updated syntaxes and themes
Run tests with system wide configuration
2m 36s
Run tests with system wide configuration
Documentation
53s
Documentation
cargo audit
2m 35s
cargo audit
Matrix: build
Minimum supported rust version
1m 22s
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.95 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