You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Han 77a0c8e6e3
feat: port CI from `halo2curves` (#4)
1 year ago
..
nextest.toml feat: port CI from `halo2curves` (#4) 1 year ago