Skip to content
CI

introduce and use weighted_maybe/2 #1208

Sign in to view logs

introduce and use weighted_maybe/2

introduce and use weighted_maybe/2 #1208

Run time

Learn about OS pricing on GitHub Actions
Job Run time
style
49s
report
15m 39s
build-test (windows-latest, stable, x86_64-pc-windows-msvc, true)
14m 54s
build-test (macos-latest, stable, x86_64-apple-darwin, true)
6m 53s
build-test (ubuntu-20.04, stable, x86_64-unknown-linux-gnu, true)
7m 53s
build-test (ubuntu-22.04, stable, x86_64-unknown-linux-gnu, true)
7m 34s
build-test (ubuntu-22.04, stable, i686-unknown-linux-gnu, true)
9m 45s
build-test (ubuntu-22.04, nightly, wasm32-unknown-unknown, true, --no-default-features, --no-run ...
8m 55s
build-test (ubuntu-22.04, 1.77, x86_64-unknown-linux-gnu)
4m 14s
build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu)
7m 4s
build-test (ubuntu-22.04, nightly, x86_64-unknown-linux-gnu, true, miri)
8m 56s
logtalk-test
8m 25s
release
0s
1h 41m 1s