Skip to content

Commit

Permalink
Fixup
Browse files Browse the repository at this point in the history
  • Loading branch information
samuelburnham committed Nov 5, 2024
1 parent 225ec46 commit e034576
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 6 deletions.
5 changes: 3 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -56,8 +56,9 @@ jobs:
run: cargo xclippy -D warnings
- name: Doctests
run: cargo test --doc --workspace
- name: Cargo-deny
uses: EmbarkStudios/cargo-deny-action@v1
# TODO: Uncomment once https://github.com/EmbarkStudios/cargo-deny-action/issues/67 is released
# - name: Cargo-deny
# uses: EmbarkStudios/cargo-deny-action@v1

bench-regression:
runs-on: warp-ubuntu-latest-x64-32x
Expand Down
8 changes: 4 additions & 4 deletions src/core/cli/tests/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,11 +8,11 @@ fn test_meta_commands() {
set_config_if_unset(Config::default());
let mut repl = Repl::new_native();
assert!(repl
.load_file("src/lurk/cli/tests/first.lurk".into(), false)
.load_file("src/core/cli/tests/first.lurk".into(), false)
.is_ok());
let mut repl = Repl::new_native();
assert!(repl
.load_file("src/lurk/cli/tests/second.lurk".into(), false)
.load_file("src/core/cli/tests/second.lurk".into(), false)
.is_ok());
std::fs::remove_file("repl-test-two").unwrap();
}
Expand All @@ -23,11 +23,11 @@ fn test_meta_commands_with_proofs() {
set_config_if_unset(Config::default());
let mut repl = Repl::new_native();
assert!(repl
.load_file("src/lurk/cli/tests/prove.lurk".into(), false)
.load_file("src/core/cli/tests/prove.lurk".into(), false)
.is_ok());
let mut repl = Repl::new_native();
assert!(repl
.load_file("src/lurk/cli/tests/verify.lurk".into(), false)
.load_file("src/core/cli/tests/verify.lurk".into(), false)
.is_ok());
std::fs::remove_file("repl-test-protocol-proof").unwrap();
std::fs::remove_file("repl-test-protocol").unwrap();
Expand Down

0 comments on commit e034576

Please sign in to comment.