Fix up local nightly script - Githubissues

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Fix up local nightly script #613

Closed oflatt closed 5 months ago

oflatt commented 5 months ago

This PR fixes the nightly script to work again locally.

It fixes a bug with the wrong path being used in local nightly.
It restores the functionality of being able to see the output in terminal.

There's now a lot of text output from generating SVGs, this could be fixed in the python script if it annoys people.

I also had to commit our cargo.lock file for dag_in_context to fix the CI.