Skip to content
CI

Merge pull request #2652 from gruhn/patch-1 #1193

Sign in to view logs

Merge pull request #2652 from gruhn/patch-1

Merge pull request #2652 from gruhn/patch-1 #1193

Run time

Learn about OS pricing on GitHub Actions
Job Run time
report
16m 39s
build-test (windows-latest, stable, x86_64-pc-windows-msvc, true)
18m 6s
build-test (macos-latest, stable, x86_64-apple-darwin, true)
7m 20s
style
1m 6s
build-test (ubuntu-20.04, stable, x86_64-unknown-linux-gnu, true)
7m 48s
build-test (ubuntu-22.04, stable, x86_64-unknown-linux-gnu, true)
8m 13s
build-test (ubuntu-22.04, stable, i686-unknown-linux-gnu, true)
9m 50s
build-test (ubuntu-22.04, nightly, wasm32-unknown-unknown, true, --no-default-features, --no-run ...
7m 9s
build-test (ubuntu-22.04, 1.77, x86_64-unknown-linux-gnu)
4m 21s
build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu)
4m 23s
build-test (ubuntu-22.04, nightly, x86_64-unknown-linux-gnu, true, miri)
6m 50s
logtalk-test
8m 18s
release
0s
1h 40m 3s