Kani Format Check

Expand ${var} in benchcomp variant `env` #6186

Sign in to view logs

Triggered via pull request March 22, 2024 15:28

karkhaz

synchronize #3090

karkhaz:kk-add-var-eval

Status Success

Total duration 2m 53s

Artifacts –

format-check.yml

on: pull_request