CI: update to actions/checkout@v6 · gap-packages/groupoids@679049e

Triggered via push November 25, 2025 10:58

fingolfin

master

Status Success

Total duration 15m 17s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
manual Expired	389 KB	`sha256:c80b350fb0dfe280660e76c149df32f20c851de31fa20447e6dfaf4f1c2be737`