Move vars to dynamic, add metrics (#1085) 98b1c51 unverified nsarrazin HF staff rtrm HF staff victor HF staff commited on May 3
Stop generation button (closes #86) (#88) 2772555 unverified Adrien Denat coyotte508 HF staff commited on Apr 26, 2023