Skip to content
Linter

[bitv] slightly better printing of terms and simple terms #904

Sign in to view logs

[bitv] slightly better printing of terms and simple terms

[bitv] slightly better printing of terms and simple terms #904

Triggered via pull request July 10, 2023 12:18
@hra687261hra687261
synchronize #727
bv-debug
Status Success
Total duration 7m 52s
Artifacts –

linter.yml

on: pull_request
Check style
6m 30s
Check style
Matrix: Check indentation
Fit to window
Zoom out
Zoom in