Skip to content
jingle

Merge branch 'main' of github.com:toolCHAINZ/jingle into modeling_ref… #73

Sign in to view logs

Merge branch 'main' of github.com:toolCHAINZ/jingle into modeling_ref…

Merge branch 'main' of github.com:toolCHAINZ/jingle into modeling_ref… #73

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre_ci / pre_ci
3s
Rust nightly
1m 9s
Rust beta
1m 18s
Rust stable
1m 0s
3m 30s