Skip to content

fix(.gitignore): unblock bin/*.ml and bin/dune from gitignore #47

fix(.gitignore): unblock bin/*.ml and bin/dune from gitignore

fix(.gitignore): unblock bin/*.ml and bin/dune from gitignore #47

Triggered via push April 11, 2026 13:17
Status Skipped
Total duration 2s
Artifacts

mirror.yml

on: push
mirror-gitlab
0s
mirror-gitlab
mirror-bitbucket
0s
mirror-bitbucket
mirror-codeberg
0s
mirror-codeberg
mirror-sourcehut
0s
mirror-sourcehut
mirror-disroot
0s
mirror-disroot
mirror-gitea
0s
mirror-gitea
mirror-radicle
mirror-radicle
Fit to window
Zoom out
Zoom in