.github/workflows/push_pr.yml

Prove F_degree, M_deg_eq_F_deg, M_monic #291

Sign in to view logs

Triggered via pull request October 1, 2024 09:35

Ruben-VandeVelde

opened #149

Ruben-VandeVelde:M_monic

Status Success

Total duration 3m 32s

Artifacts –

push_pr.yml

on: pull_request