Skip to content

rename from _VennDB to _DB #16

rename from _VennDB to _DB

rename from _VennDB to _DB #16

Triggered via push March 31, 2024 20:57
Status Success
Total duration 3m 16s
Artifacts

CI.yml

on: push
check-docs
13s
check-docs
test-msrv
15s
test-msrv
test-beta
15s
test-beta
test
15s
test
test-windows-msrv
40s
test-windows-msrv
test-windows-beta
35s
test-windows-beta
test-windows
1m 2s
test-windows
test-macos-msrv
35s
test-macos-msrv
test-macos-beta
32s
test-macos-beta
test-macos
28s
test-macos
test-docs
16s
test-docs
test-examples-beta
15s
test-examples-beta
test-examples-msrv
13s
test-examples-msrv
test-examples
12s
test-examples
test-examples-windows-beta
32s
test-examples-windows-beta
test-examples-windows-msrv
31s
test-examples-windows-msrv
test-examples-windows
56s
test-examples-windows
test-examples-macos-beta
22s
test-examples-macos-beta
test-examples-macos-msrv
1m 0s
test-examples-macos-msrv
test-examples-macos
2m 25s
test-examples-macos
cargo-hack
17s
cargo-hack
dependencies-are-sorted
14s
dependencies-are-sorted
cargo-deny
17s
cargo-deny
Fit to window
Zoom out
Zoom in