Skip to content
Snippets Groups Projects
Commit ea6a6e3e authored by erwan's avatar erwan
Browse files

ci: use the .opam file for building the git repo

parent c45cb622
No related branches found
No related tags found
Pipeline #103950 failed
Stage: build
    Stage: release
      Stage: deploy