.github/workflows/push_pr.yml

feat: groupoidal grothendieck classified by pointed groupoids #40

Sign in to view logs

Triggered via pull request February 5, 2025 19:28

Jlh18

synchronize #36

PGrpd_pullback_of_PCat

Status Success

Total duration 2m 54s

Artifacts –

push_pr.yml

on: pull_request