HLint

Add the apply function for uninterpreted functions #544

Sign in to view logs

Summary
Jobs
- hlint
Run details
- Usage
- Workflow file

Triggered via pull request January 6, 2024 17:06

lsrcz

synchronize #155

feat-apply-uf

Status Success

Total duration 37s

Artifacts –

hlint.yml

on: pull_request