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.irclog.whitequark.org/prjunnamed
azonenberg has quit [Ping timeout: 260 seconds]
azonenberg has joined #prjunnamed
<whitequark[cis]> experimenting with the tracing crate
Wanda[cis] has joined #prjunnamed
<Wanda[cis]> oh, that looks cute
<_whitenotifier> [prjunnamed] whitequark created branch cat/tracing - https://github.com/prjunnamed/prjunnamed
<whitequark[cis]> it's used by rustc
<Wanda[cis]> yuup
<_whitenotifier> [prjunnamed] whitequark opened pull request #79: Use `tracing` crate instead of the hacky `trace` feature - https://github.com/prjunnamed/prjunnamed/pull/79
<_whitenotifier> [prjunnamed] meithecatte reviewed pull request #79 commit - https://github.com/prjunnamed/prjunnamed/pull/79#discussion_r2019134133
<_whitenotifier> [prjunnamed] whitequark reviewed pull request #79 commit - https://github.com/prjunnamed/prjunnamed/pull/79#discussion_r2019145013
<_whitenotifier> [prjunnamed] whitequark reviewed pull request #79 commit - https://github.com/prjunnamed/prjunnamed/pull/79#discussion_r2019145013
<_whitenotifier> [prjunnamed] whitequark synchronize pull request #79: Use `tracing` crate instead of the hacky `trace` feature - https://github.com/prjunnamed/prjunnamed/pull/79
<_whitenotifier> [prjunnamed] whitequark reviewed pull request #79 commit - https://github.com/prjunnamed/prjunnamed/pull/79#discussion_r2019164185
<_whitenotifier> [prjunnamed] whitequark synchronize pull request #79: Use `tracing` crate instead of the hacky `trace` feature - https://github.com/prjunnamed/prjunnamed/pull/79
<_whitenotifier> [prjunnamed] whitequark reviewed pull request #79 commit - https://github.com/prjunnamed/prjunnamed/pull/79#discussion_r2019171617
<_whitenotifier> [prjunnamed] whitequark created branch cat/update-easy-smt - https://github.com/prjunnamed/prjunnamed
<_whitenotifier> [prjunnamed] whitequark opened pull request #80: Update to easy-smt 0.3 - https://github.com/prjunnamed/prjunnamed/pull/80
<_whitenotifier> [prjunnamed] whitequark reviewed pull request #79 commit - https://github.com/prjunnamed/prjunnamed/pull/79#discussion_r2019180824
<_whitenotifier> [prjunnamed] github-merge-queue[bot] created branch gh-readonly-queue/main/pr-80-5a16ee461387def76252531de9b32352b8d221f2 - https://github.com/prjunnamed/prjunnamed
<_whitenotifier> [prjunnamed/prjunnamed] github-merge-queue[bot] pushed 1 commit to main [+0/-0/±3] https://github.com/prjunnamed/prjunnamed/compare/5a16ee461387...e06c467dd139
<_whitenotifier> [prjunnamed/prjunnamed] whitequark e06c467 - netlist: update to easy-smt 0.3.
<_whitenotifier> [prjunnamed] whitequark closed pull request #80: Update to easy-smt 0.3 - https://github.com/prjunnamed/prjunnamed/pull/80
<_whitenotifier> [prjunnamed] whitequark deleted branch cat/update-easy-smt - https://github.com/prjunnamed/prjunnamed
<_whitenotifier> [prjunnamed] github-merge-queue[bot] deleted branch gh-readonly-queue/main/pr-80-5a16ee461387def76252531de9b32352b8d221f2 - https://github.com/prjunnamed/prjunnamed