Joe Edwards
Joe Edwards
I'm not certain, but I think it's because none of the jobs from "second" are defined in the `pr.yml` file. So we wouldn't expect anything to appear as pending until...
> I think I'll be happy to merge this with a couple of caveats: > > * hard coded paths to your repos will have to be replaced (I understand...
Temporarily closing this while testing to avoid cluttering the actions triggered by pull requests
These changes address https://github.com/digraphs/Digraphs/pull/641#issuecomment-2100894114.
Presently, the `config-options` workflow tests all non-empty combinations of `enable-code-coverage`x`enable-compile`x`enable-debug`x`without-intrinsics` + `with-external-planarity`x`with-external-bliss` for a total of $2^4 + 2^2 - 2 = 18$ options. This was decided because the planarity...
Most (but, surprisingly, not all) of the `--enable-debug` tests seem to fail. Does GAP need to be built with specific config options for this to work, or is this an...
> Maybe we should add the `CFLAG`/`CXXFLAG` that indicates that a warning should be treated as an error in the jobs that have `--enable-compile-warnings` if any? @Joseph-Edwards I've tried this...
Temporarily closing again while testing.
I expect the `--with-compile-warnings` tests to fail until #648 is merged.
Looks good to me too @james-d-mitchell. Happy to merge.