Skip to content
Linter

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

Sign in to view logs

[bitv] slightly better printing of terms and simple terms

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

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

linter.yml

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