ci: some fixes to make CI more stable (#157)

varfish-org · Jul 10, 2024 · 162a134 · 162a134
1 parent 3fb8be1
commit 162a134
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 38 deletions.
diff --git a/.github/workflows/add-issue-to-project.yml b/.github/workflows/add-issue-to-project.yml
diff --git a/.github/workflows/add-pr-to-project.yml b/.github/workflows/add-pr-to-project.yml
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -94,5 +94,4 @@ jobs:
  uses: codecov/codecov-action@v3
  with:
  verbose: true
- fail_ci_if_error: true
  token: ${{ secrets.CODECOV_TOKEN }}
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,5 @@
+/.vscode
+
 /target
 
 *~