Skip to content

linting

linting #292

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