Skip to content

Bump the version to 0.2.1 (#25) #45

Bump the version to 0.2.1 (#25)

Bump the version to 0.2.1 (#25) #45

Workflow file for this run

name: CI
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
env:
CARGO_TERM_COLOR: always
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install Z3
run: sudo apt install -y z3
- name: Build
run: cargo build --verbose
- name: Run tests
run: cargo test --verbose
- name: Run Sudoku Example
run: cargo run --example sudoku