Merge pull request #258 from ionide/expose-ignore-module #526

Triggered via push October 19, 2025 23:08

main

Status Success

Total duration 2m 49s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	520 KB	`sha256:3437df6364aff0f16d1d64b448e1fc7b3657f2b78fc5c9cde7108b826a5f94a3`