try warnigns

pacak · Oct 12, 2024 · 141dd82 · 141dd82
1 parent 65fa278
commit 141dd82
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/check.sh b/.github/check.sh
@@ -2,5 +2,4 @@
 set -o pipefail -e
 
 # ./master-asm "$@"
-diff -u <( ./master-asm "$@" 2> /dev/null ) <( ./branch-asm "$@" 2> /dev/null ) || \
-    echo "::warning:: Command $@ produced different results"
+diff -u <( ./master-asm "$@" 2> /dev/null ) <( ./branch-asm "$@" 2> /dev/null )
diff --git a/.github/workflows/check-and-lint.yaml b/.github/workflows/check-and-lint.yaml
@@ -97,12 +97,15 @@ jobs:
           chmod +x ./master-asm
 
       - name: basic
+        continue-on-error: true
         run: ./.github/check.sh --manifest-path sample/Cargo.toml --lib --llvm sample::main
 
       - name: should fail 0
+        continue-on-error: true
         run: ./.github/check.sh --manifest-path sample_merged/Cargo.toml  0
 
       - name: should fail 1
+        continue-on-error: true
         run: ./.github/check.sh --manifest-path sample_merged/Cargo.toml
 
 # jobs: