CI

chore(gitignore): ignore dune-generated *.install manifests #558

Sign in to view logs

Triggered via pull request May 20, 2026 08:30

opened #306

gitignore-install-artefact

Status Success

Total duration 3m 53s

Artifacts –

ci.yml

on: pull_request