Skip to content

Commit

Permalink
chore: fix CI
Browse files Browse the repository at this point in the history
  • Loading branch information
bobbinth committed Jul 22, 2024
1 parent 99e6e2c commit 37ee9e6
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 3 deletions.
2 changes: 1 addition & 1 deletion assembly/src/assembler/tests.rs
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ use crate::{
// TESTS
// ================================================================================================

// TODO: Remove #[ignore] after we implement the new `Assembler::add_library()`
// TODO: Fix test after we implement the new `Assembler::add_library()`
#[ignore]
#[allow(unused)]
#[test]
Expand Down
4 changes: 2 additions & 2 deletions miden/tests/integration/flow_control/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -187,7 +187,7 @@ fn local_fn_call_with_mem_access() {
test.prove_and_verify(vec![3, 7], false);
}

// TODO: Fix test after we implement `Assembler::add_library()`
// TODO: Fix test after we implement the new `Assembler::add_library()`
#[ignore]
#[test]
fn simple_syscall() {
Expand Down Expand Up @@ -389,7 +389,7 @@ fn simple_dyncall() {
// PROCREF INSTRUCTION
// ================================================================================================

// TODO: fix test after we implement the new `Assembler::add_library()`
// TODO: Fix test after we implement the new `Assembler::add_library()`
#[ignore]
#[allow(unused)]
#[test]
Expand Down
2 changes: 2 additions & 0 deletions miden/tests/integration/operations/io_ops/env_ops.rs
Original file line number Diff line number Diff line change
Expand Up @@ -126,6 +126,8 @@ fn locaddr() {
// CALLER INSTRUCTION
// ================================================================================================

// TODO: Fix test after we implement the new `Assembler::add_library()`
#[ignore]
#[test]
fn caller() {
let kernel_source = "
Expand Down

0 comments on commit 37ee9e6

Please sign in to comment.