Skip to content
.github/workflows/ci.yml

Merge remote-tracking branch 'origin/main' into son/examples #351

Sign in to view logs

Merge remote-tracking branch 'origin/main' into son/examples

Merge remote-tracking branch 'origin/main' into son/examples #351

Triggered via push March 20, 2024 05:38
@sonmarchosonmarcho
pushed 34850ee
son/examples
Status Success
Total duration 8m 26s
Artifacts –

ci.yml

on: push
nix
3m 6s
nix
lean
8m 17s
lean
Fit to window
Zoom out
Zoom in