Skip to content
Continuous Integration

Fix github pipeline #84

Sign in to view logs

Fix github pipeline

Fix github pipeline #84

Triggered via push February 9, 2025 16:36
@MicroProofsMicroProofs
pushed 3418fa7
main
Status Success
Total duration 18s
Artifacts –

continuous-integration.yml

on: push
build
11s
build
Fit to window
Zoom out
Zoom in