whitequark[cis] changed the topic of #prjunnamed to: FPGA toolchain project · rule #0 of prjunnamed: no one should ever burn out building software · https://prjunnamed.org · https://github.com/prjunnamed/prjunnamed · logs: https://libera.catirclogs.org/prjunnamed
vancz has quit [Server closed connection]
vancz has joined #prjunnamed
<_whitenotifier-a> [prjunnamed] wanda-phi created branch import-width-fix - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-a> [prjunnamed] wanda-phi opened pull request #99: yosys_json: fix import of arithmetic cells with `A_WIDTH > Y_WIDTH`. - https://github.com/prjunnamed/prjunnamed/pull/99
<_whitenotifier-a> [prjunnamed] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-99-f778791fd2103dcb37d37b493654c73830256777 - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-a> [prjunnamed/prjunnamed] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±1] https://github.com/prjunnamed/prjunnamed/compare/f778791fd210...502d6807ee08
<_whitenotifier-a> [prjunnamed/prjunnamed] wanda-phi 502d680 - yosys_json: fix import of arithmetic cells with `A_WIDTH > Y_WIDTH`.
<_whitenotifier-a> [prjunnamed] wanda-phi closed pull request #99: yosys_json: fix import of arithmetic cells with `A_WIDTH > Y_WIDTH`. - https://github.com/prjunnamed/prjunnamed/pull/99
<_whitenotifier-a> [prjunnamed] wanda-phi deleted branch import-width-fix - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-a> [prjunnamed] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-99-f778791fd2103dcb37d37b493654c73830256777 - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-a> [prjunnamed] wanda-phi created branch fix-warnings - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-a> [prjunnamed] wanda-phi opened pull request #100: easy_smt: fix warnings on new rustc. - https://github.com/prjunnamed/prjunnamed/pull/100
Wanda[cis] has joined #prjunnamed
<Wanda[cis]> ... hold on, how on earth did these PRs get merged with CI failing
<Wanda[cis]> is the merge queue malfunctioning
<_whitenotifier-a> [prjunnamed] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-100-502d6807ee08aab9b9edf71cb691b2d61099d3e0 - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-a> [prjunnamed/prjunnamed] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±1] https://github.com/prjunnamed/prjunnamed/compare/502d6807ee08...4887cc87d8aa
<_whitenotifier-a> [prjunnamed/prjunnamed] wanda-phi 4887cc8 - easy_smt: fix warnings on new rustc.
<_whitenotifier-a> [prjunnamed] wanda-phi deleted branch fix-warnings - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-a> [prjunnamed] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-100-502d6807ee08aab9b9edf71cb691b2d61099d3e0 - https://github.com/prjunnamed/prjunnamed
<_whitenotifier-a> [prjunnamed] wanda-phi closed pull request #100: easy_smt: fix warnings on new rustc. - https://github.com/prjunnamed/prjunnamed/pull/100
whitequark[cis] has joined #prjunnamed
<whitequark[cis]> you don't have required checks
<whitequark[cis]> if it does that i mean
<whitequark[cis]> tick the box in repo settings
<Wanda[cis]> ... if I can find the setting in the midst of all the new AI crap
<Wanda[cis]> what the fuck are "models"
galibert[m] has joined #prjunnamed
<galibert[m]> Piles of coefficients and an order for computations, mostly
<Wanda[cis]> and why is this in github repo settings
<galibert[m]> Ah, I thought you were talking about fpgas with tensors acceleration or something
<Wanda[cis]> okay I think I managed it?