Skip to content

Feature: symbolic execution support #4987

Feature: symbolic execution support

Feature: symbolic execution support #4987

Workflow file for this run

name: CI
on:
push:
branches:
- master
pull_request:
permissions:
checks: write
pull-requests: write
jobs:
contracts:
name: Contracts
uses: multiversx/mx-sc-actions/.github/workflows/[email protected]
with:
rust-toolchain: nightly-2023-05-26
vmtools-version: v1.4.60
secrets:
token: ${{ secrets.GITHUB_TOKEN }}