Skip to content

Add z3_reload command #896

Add z3_reload command

Add z3_reload command #896

Workflow file for this run

name: Validate
on:
push:
pull_request:
# schedule:
# - cron: "0 0 * * *"
jobs:
validate:
runs-on: "ubuntu-latest"
steps:
- uses: "actions/checkout@v2"
- name: HACS validation
uses: "hacs/action@main"
with:
category: "integration"