Skip to content

Constraint_system_intf.{num_constraints,to_asm} #447

Constraint_system_intf.{num_constraints,to_asm}

Constraint_system_intf.{num_constraints,to_asm} #447

Workflow file for this run

name: ci
on:
[pull_request]
jobs:
docker-build:
runs-on: ubuntu-latest
steps:
-
name: Checkout
uses: actions/checkout@v2
-
uses: docker/setup-buildx-action@v1
id: docker-build
with:
install: true
-
name: Build
run: |
docker build . # will run buildx