Skip to content
.github/workflows/ci.yml

Reorganize a bit #139

Sign in to view logs

Reorganize a bit

Reorganize a bit #139

Triggered via push December 11, 2023 10:37
@sonmarchosonmarcho
pushed cb332ff
son_merge_back2
Status Success
Total duration 14m 20s
Artifacts –

ci.yml

on: push
nix
3m 29s
nix
lean
8m 10s
lean
Fit to window
Zoom out
Zoom in