triallax changed the topic of #numbat to: The Official Numbat channel https://numbat.dev | This channel is publicly logged at https://libera.irclog.whitequark.org/numbat | Please read https://workaround.org/getting-help-on-irc/ if you're new to IRC!
achin has quit [Ping timeout: 245 seconds]
achin has joined #numbat
sharkdp has joined #numbat
mughees has joined #numbat
<mughees> hey
<mughees> I added a PR on numbat but one of the checks documentation failed
<mughees> I have added new units and I have added their names etc in the documentation also (in the list-units.md). But still getting the documenation not up to date error on documentation checks
mughees has left #numbat [#numbat]
<sharkdp> Thank you. You need to follow the step in the failed doc build: "Make sure to run 'build.py' in the book/ folder"
sharkdp has quit [Remote host closed the connection]
sharkdp has joined #numbat
sharkdp has quit [Remote host closed the connection]
sharkdp has joined #numbat
sharkdp has quit [Remote host closed the connection]
potash has joined #numbat