Skip to content
clang-format Check

Add UNSAT certification statistics #238

Sign in to view logs

Add UNSAT certification statistics

Add UNSAT certification statistics #238

Triggered via pull request December 1, 2024 10:27
@OmriIsacHUJIOmriIsacHUJI
opened #850
OmriIsacHUJI:master
Status Success
Total duration 2m 59s
Artifacts –

clang-format-check.yml

on: pull_request
Formatting Check
2m 48s
Formatting Check
Fit to window
Zoom out
Zoom in