Bibtool test

Allow inducing G-sets along group homomorphisms #13182

Sign in to view logs

Triggered via pull request May 23, 2025 13:06

lgoettgens

synchronize #4921

lgoettgens:lg/induce-GSets

Status Success

Total duration 39s

Artifacts –

BibtoolCI.yml

on: pull_request

check-standard-refs