44feeffMerge pull request #297 from diogob/tls-serverAgentM5 years ago 0471172Add configuration type for websockets server so we can take TLS certificate config. Run warp-tls if we have certificate and key.Diogo Biazus5 years ago f10d564Merge pull request #296 from diogob/use-warp-server-for-websocketsAgentM5 years ago 5b384e0Replace server from websockets for warp server using wai-websockets middlwareDiogo Biazus5 years ago 9282cfdMerge pull request #294 from ilyakooo0/patch-2AgentM5 years ago 42b0df9Merge pull request #293 from ilyakooo0/patch-1AgentM5 years ago 4a82e5fFixed macOS build cacheiko5 years ago 4d7117dFixed typo in introduction_to_the_relational_algebra.markdowniko5 years ago 77cc32dremove travis CI badge since it was constantly timing out and replaced by Github ActionsAgentM5 years ago