Skip to content
Kani Format Check

Output directory name fix #20

Sign in to view logs

Output directory name fix

Output directory name fix #20

Triggered via push October 15, 2024 22:39
@Alexander-AghiliAlexander-Aghili
pushed 37ed122
harness_output_individual_files
Status Success
Total duration 3m 26s
Artifacts –

format-check.yml

on: push
format-check
8s
format-check
clippy-check
3m 17s
clippy-check
Fit to window
Zoom out
Zoom in