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 654be60only log into docker when on masteriko5 years ago d39c81aDisabled tests in docker buildiko5 years ago f23844aBetter cache keysiko5 years ago