.github/workflows/push_pr.yml

feat: GroupoidNMBase constructed' #42

Sign in to view logs

Triggered via pull request February 7, 2025 03:31

Jlh18

opened #38

groupoidNMBase

Status Success

Total duration 2m 52s

Artifacts –

push_pr.yml

on: pull_request