IRC channel logs
2023-12-20.log
back to list of logs
<rekado>I’m busy with R stuff again; after that I really should figure out a way around this jaxlib problem <civodul>on the plus side (?), it doesn’t look like a recent regression <rekado>the jaxlib thing has been around since the beginning <civodul>is it ok if we “rm -rf external/local_*”? <civodul>ACTION runs ‘guix style -S inputs’ in guix-science <civodul>rekado: could you add me to guix-science? <civodul>or maybe i should just do a pull request <rekado>I’ve added you to the contributors and also sent you an invitation to become a member of the Guix Science organization. <civodul>rekado: thanks! could you add me to ‘.guix-authorizations’ as well? <rekado>I keep forgetting how this works <rekado>do I need to add your key to the keyring branch first? <rekado>and then add it to .guix-authorizations?