Add InfoAutoDoc for messages instead of Printing · gap-packages/AutoDoc@44817fe

Triggered via pull request March 26, 2025 16:38

mtorpey

opened #283

Status Success

Total duration 2m 20s

Artifacts 1

CI.yml

on: pull_request

Matrix: test

Produced during runtime

Name	Size	Digest
manual Expired	229 KB	`sha256:f71d7c2a0e837a50ab177d7d3aed8be8ef590061977ee806d3b244b4c017fbdc`