Skip to content

Fix Bitwuzla VARIABLE_NODE translation #1002

Fix Bitwuzla VARIABLE_NODE translation

Fix Bitwuzla VARIABLE_NODE translation #1002

Workflow file for this run

name: Docker Image CI
on: [push, pull_request, workflow_dispatch]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build the Docker image
run: docker build . --file Dockerfile --tag triton-docker:$(date +%s)