feat: allow disabling metrics server, consolidate exit handlers (#1201) dc1fb76 unverified Liam Dyer nsarrazin HF Staff commited on Jul 1, 2024
Move vars to dynamic, add metrics (#1085) a8a9533 unverified nsarrazin HF Staff rtrm HF Staff victor HF Staff commited on May 3, 2024
Stop generation button (closes #86) (#88) 3dafcf0 unverified Adrien Denat coyotte508 HF Staff commited on Apr 26, 2023