hlint

Recommend Z3 when the user doesn't have an opinion #761

Sign in to view logs

Summary
Jobs
- hlint
Run details
- Usage
- Workflow file

Triggered via pull request January 23, 2024 21:26

opened #2256

fd/recommend-z3

Status Success

Total duration 31s

Artifacts –

hlint.yml

on: pull_request