mirror of
https://gitlab.kit.edu/uskyk/kv.git
synced 2024-11-21 16:35:00 +00:00
CI setup
This commit is contained in:
parent
9725ef0d85
commit
7109f6f6d6
13
.gitlab-ci.yml
Normal file
13
.gitlab-ci.yml
Normal file
@ -0,0 +1,13 @@
|
||||
variables:
|
||||
CARGO_HOME: /tmp/cargo
|
||||
CARGO_TARGET_DIR: /tmp/cargo/target
|
||||
|
||||
build:
|
||||
script:
|
||||
- nix-shell -p rustc cargo --run "sh -c '
|
||||
rustc -vV &&
|
||||
cargo -vV &&
|
||||
cargo build'"
|
||||
test:
|
||||
script:
|
||||
- nix-shell -p rustc cargo --run 'cargo test'
|
1
Cargo.lock
generated
1
Cargo.lock
generated
@ -111,6 +111,7 @@ dependencies = [
|
||||
[[package]]
|
||||
name = "svg_fmt"
|
||||
version = "0.4.0"
|
||||
source = "git+https://github.com/FliegendeWurst/rust_debug?rev=c664b5d24dbcaf6e6fdd7c329dde231c5b05377e#c664b5d24dbcaf6e6fdd7c329dde231c5b05377e"
|
||||
|
||||
[[package]]
|
||||
name = "syn"
|
||||
|
@ -14,6 +14,6 @@ console_error_panic_hook = "0.1.6"
|
||||
console_log = "0.2.0"
|
||||
itertools = "0.10.0"
|
||||
log = "0.4.14"
|
||||
svg_fmt = { path = "../rust_debug/svg_fmt" }
|
||||
svg_fmt = { git = "https://github.com/FliegendeWurst/rust_debug", rev = "c664b5d24dbcaf6e6fdd7c329dde231c5b05377e" }
|
||||
wasm-bindgen = "0.2.71"
|
||||
web-sys = { version = "0.3.48", features = ["Window", "Document", "Location", "HtmlCollection", "HtmlElement", "HtmlSelectElement", "CssStyleDeclaration", "HtmlTextAreaElement", "HtmlInputElement"] }
|
||||
|
@ -365,7 +365,7 @@ fn test_3var() {
|
||||
]);
|
||||
let prime = find_core(&fun, &mut [A, B, C], Zero, &groups).0;
|
||||
assert_eq!(prime, vec![
|
||||
vec![(A, Zero), (B, Zero)],
|
||||
vec![(A, One), (C, Zero)],
|
||||
&[(A, Zero), (B, Zero)],
|
||||
&[(A, One), (C, Zero)],
|
||||
]);
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user