Skip to content

Check sched_child_runs_first exists #19

Check sched_child_runs_first exists

Check sched_child_runs_first exists #19

Workflow file for this run

name: CI
on:
push:
branches:
- "**"
pull_request:
workflow_dispatch:
jobs:
ci:
uses: angr/ci-settings/.github/workflows/angr-ci.yml@master