Skip to content

Up-to-date files for RISC-V ISA Formal Verification. #319

Up-to-date files for RISC-V ISA Formal Verification.

Up-to-date files for RISC-V ISA Formal Verification. #319

name: check_target
on: [push, pull_request]
jobs:
check_target:
runs-on: ubuntu-latest
steps:
- if: ${{ (github.event.pull_request.head.ref == 'dev' && github.event.pull_request.base.ref == 'master') || github.event.pull_request.base.ref == 'dev' || github.event.push.ref != 'refs/heads/master'}}
run: exit 0
- if: ${{ github.event.pull_request.base.ref != 'dev' || github.event.push.ref == 'refs/heads/master'}}
run: exit 1