Skip to content

Commit

Permalink
Merge pull request Wandalen#1189 from SRetip/alpha
Browse files Browse the repository at this point in the history
READY : remove miri
  • Loading branch information
Wandalen authored Mar 13, 2024
2 parents 9af2795 + 94e01bc commit cae643b
Show file tree
Hide file tree
Showing 2 changed files with 34 additions and 34 deletions.
34 changes: 17 additions & 17 deletions .github/workflows/StandardRustPush.yml
Original file line number Diff line number Diff line change
Expand Up @@ -98,23 +98,23 @@ jobs :
- name: Make release build
run: cargo build --manifest-path ${{ inputs.manifest_path }} --release

miri:
if: contains( inputs.commit_message, '!test' ) || contains( inputs.commit_message, 'merge' )
runs-on: ubuntu-latest
steps:
- name: Install latest nightly toolchain
uses: Wandalen/wretry.action@master
with:
action: actions-rs/toolchain@v1
with: |
toolchain : nightly
override : true
components : miri
attempt_limit: 3
attempt_delay: 10000
- uses: actions/checkout@v3
with:
ref: alpha
# miri:
# if: contains( inputs.commit_message, '!test' ) || contains( inputs.commit_message, 'merge' )
# runs-on: ubuntu-latest
# steps:
# - name: Install latest nightly toolchain
# uses: Wandalen/wretry.action@master
# with:
# action: actions-rs/toolchain@v1
# with: |
# toolchain : nightly
# override : true
# components : miri
# attempt_limit: 3
# attempt_delay: 10000
# - uses: actions/checkout@v3
# with:
# ref: alpha

- name: Test with miri
run: cargo miri test --manifest-path ${{ inputs.manifest_path }}
Expand Down
34 changes: 17 additions & 17 deletions module/move/willbe/template/workflow/standard_rust_push.yml
Original file line number Diff line number Diff line change
Expand Up @@ -98,23 +98,23 @@ jobs :
- name: Make release build
run: cargo build --manifest-path ${{ inputs.manifest_path }} --release

miri:
if: contains( inputs.commit_message, '!test' ) || contains( inputs.commit_message, 'merge' )
runs-on: ubuntu-latest
steps:
- name: Install latest nightly toolchain
uses: Wandalen/wretry.action@master
with:
action: actions-rs/toolchain@v1
with: |
toolchain : nightly
override : true
components : miri
attempt_limit: 3
attempt_delay: 10000
- uses: actions/checkout@v3
with:
ref: alpha
# miri:
# if: contains( inputs.commit_message, '!test' ) || contains( inputs.commit_message, 'merge' )
# runs-on: ubuntu-latest
# steps:
# - name: Install latest nightly toolchain
# uses: Wandalen/wretry.action@master
# with:
# action: actions-rs/toolchain@v1
# with: |
# toolchain : nightly
# override : true
# components : miri
# attempt_limit: 3
# attempt_delay: 10000
# - uses: actions/checkout@v3
# with:
# ref: alpha

- name: Test with miri
run: cargo miri test --manifest-path ${{ inputs.manifest_path }}
Expand Down

0 comments on commit cae643b

Please sign in to comment.