.github/workflows/push_pr.yml

Prove F_degree, M_deg_eq_F_deg, M_monic #292

Sign in to view logs

Triggered via pull request October 1, 2024 11:38

Ruben-VandeVelde

synchronize #149

Ruben-VandeVelde:M_monic

Status Success

Total duration 3m 55s

Artifacts –

push_pr.yml

on: pull_request