egg changed the topic of #principia to: Logs: https://esper.irclog.whitequark.org/principia | <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly…
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
kitty has quit [Read error: Connection reset by peer]
<queqiao->
⟨🇺🇦 Katniss 🇺🇦⟩ Damn, they have checks for PRs and stuff
<queqiao->
⟨🇺🇦 Katniss 🇺🇦⟩ +even
<queqiao->
⟨Soviet Onion⟩ ⟪🇺🇦 Katniss 🇺🇦⟫ Damn, they even have checks for PRs and […] ⮪ doesn't RO also do that?
<queqiao->
⟨🇺🇦 Katniss 🇺🇦⟩ ⟪Soviet Onion⟫ doesn't RO also do that? ⮪ Idk, maybe
<queqiao->
⟨egg⟩ ⟪🇺🇦 Katniss 🇺🇦⟫ Damn, they even have checks for PRs and […] ⮪ We’ve had CI for a long time, but the Jenkins setup and the VM it runs on are a right mess, so we are trying to move things to GithHub workflows (so far just the lint really), which will probably result in splitting things into more check marks.