Skip to content
CI

Merge pull request #2818 from adri326/stream-cleanup #1380

Sign in to view logs

Merge pull request #2818 from adri326/stream-cleanup

Merge pull request #2818 from adri326/stream-cleanup #1380

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-test (windows-latest, stable, x86_64-pc-windows-msvc, true)
16m 46s
report
23m 11s
build-test (macos-latest, stable, x86_64-apple-darwin, true)
7m 52s
style
33s
build-test (ubuntu-20.04, stable, x86_64-unknown-linux-gnu, true)
8m 41s
build-test (ubuntu-22.04, stable, x86_64-unknown-linux-gnu, true)
8m 43s
build-test (ubuntu-22.04, stable, i686-unknown-linux-gnu, true)
11m 13s
build-test (ubuntu-22.04, nightly, wasm32-unknown-unknown, true, --no-default-features, --no-run ...
6m 31s
build-test (ubuntu-22.04, 1.77, x86_64-unknown-linux-gnu)
4m 44s
build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu)
4m 39s
build-test (ubuntu-22.04, nightly, x86_64-unknown-linux-gnu, true, miri)
7m 2s
logtalk-test
7m 14s
release
0s
1h 47m 9s