Skip to content
CI

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

Sign in to view logs

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

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

Triggered via push May 20, 2026 08:30
@hyperpolymathhyperpolymath
pushed ade556f
main
Status Success
Total duration 4m 30s
Artifacts –

ci.yml

on: push
build
3m 31s
build
lint
4m 17s
lint
Fit to window
Zoom out
Zoom in