HackMD
DevCalls
Where: meet.google.com/ouz-isma-vqi
When: Each friday 16h00 CET
18/08/2023
- State of the webpage (juliareach.github.io/)
- Last renewal (Marcelo): 20,16 € , sáb, 29 jul, 08:01
- https://juliareach.com/ doesn't work, but juliareach.com works immediately, forwarding to https://juliareach.github.io/
- https://github.com/JuliaReach/JuliaReach-website contains the source code of the webpage
- https://github.com/JuliaReach/juliareach.github.io is the deployed version
- Next step: run webpage locally: https://github.com/JuliaReach/JuliaReach-website/wiki#set-up-guide
- Outstanding LazySets MRs
