Skip to content
.github/workflows/ci.yml

Update the generation of files for external definitions and regenerat… #84

Sign in to view logs

Update the generation of files for external definitions and regenerat…

Update the generation of files for external definitions and regenerat… #84

Triggered via push November 27, 2023 08:37
@sonmarchosonmarcho
pushed 959d6fc
son_improves
Status Success
Total duration 8m 27s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
nix
6m 25s
nix
lean
8m 18s
lean
Fit to window
Zoom out
Zoom in