Steven Clontz

WIP --- [](https://gitpod.io/from-referrer/)

feat: add competely normal (non-Hausdorff) property

2

This conribution adds a distinct notion of a (non-Hausdorff) completely normal space, and disintangles relevant results that do not require Hausdorff. --- [](https://gitpod.io/from-referrer/)

Report failures

1

@siwelwerd and I are really appreciating the GitHub Actions workflows developed by @siefkenj so far - we have a team of four contributors working on a collaborative PreTeXt document, so...

```javascript let g = new graphlib.Graph({directed:false); g.setNode('1') g.setNode('2') g.setNode('3') g.setEdge('1', '2') g.setEdge('2', '3') g.setEdge('1', '3') console.log(graphlib.alg.findCycles(g)) // expected: [ [ '1', '2', '3' ] ] // got: [ ] ```

Lean integration proof of concept

1

Toying around with a model suggested by @erdOne at https://github.com/leanprover-community/mathlib4/pull/12387#issuecomment-2075877674

See #657

In https://github.com/PreTeXtBook/pretext-cli/issues/814 we had an issue where an author had 2.6-generated files, but was running 2.4.1 somehow. We could annotate our generated files with a version number and raise a...

dump warnings at end of CLI call

2

To make it convenient to clean up warnings, we should repeat them at the end of a CLI run.

Right now our workflow doesn't seem to report an error when a print target's LaTeX fails to compile.

Would be closed by #707 I think, but I just realized that my build process is 3x slow because I'm rebuilding idential assets for slight variations of several targets (e.g....