.github/workflows/main.yml

dune: update files to be shared (#185) #1139

Sign in to view logs

Triggered via push August 1, 2025 09:39

fblanqui

main

Status Success

Total duration 14m 50s

Artifacts –

main.yml

on: push

Matrix: ci