Skip to content

Commit

Permalink
Merge pull request #108 from AL68-co/albertlarsan68-patch-1
Browse files Browse the repository at this point in the history
Update safety.yml
  • Loading branch information
albertlarsan68 authored Apr 16, 2024
2 parents d93eb4b + e3725f9 commit f515357
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions .github/workflows/safety.yml
Original file line number Diff line number Diff line change
Expand Up @@ -69,5 +69,3 @@ jobs:
with:
command: miri
args: test
env:
MIRIFLAGS: "-Zmiri-tag-raw-pointers"

0 comments on commit f515357

Please sign in to comment.