azonenberg has left #solvespace [#solvespace]
sklv1 has quit [Remote host closed the connection]
sklv1 has joined #solvespace
sklv1 has quit [Ping timeout: 240 seconds]
sklv1 has joined #solvespace
<
_whitenotifier-f>
[solvespace] ruevs commented on pull request #627: default chordTol=0.1% max segments=20 -
https://git.io/JfyYu
leorat has joined #solvespace
cr1901_modern has quit [Read error: Connection reset by peer]
cr1901_modern has joined #solvespace
leorat has quit [Quit: Leaving]
sklv1 has quit [Remote host closed the connection]
sklv1 has joined #solvespace
sklv1 has quit [Remote host closed the connection]
sklv1 has joined #solvespace
<
_whitenotifier-f>
[solvespace] phkahler commented on pull request #627: default chordTol=0.1% max segments=20 -
https://git.io/Jfyab
leorat has joined #solvespace
leorat has quit [Quit: Leaving]
rpavlik has quit [Remote host closed the connection]
<
_whitenotifier-f>
[solvespace] phkahler commented on issue #618: RFC: Migrate CI to GitHub Actions? -
https://git.io/JfydD
<
_whitenotifier-f>
[solvespace] whitequark commented on issue #618: RFC: Migrate CI to GitHub Actions? -
https://git.io/JfydH
<
_whitenotifier-f>
[solvespace] whitequark edited a comment on issue #618: RFC: Migrate CI to GitHub Actions? -
https://git.io/JfydH
leorat has joined #solvespace