+[2020-01-14T20:25:25Z]neeasadeok +[2020-01-14T20:25:26Z]neeasadecool +[2020-01-14T20:30:41Z]R2robotSometimes it takes 2 minutes, sometimes it takes 24 hours. :) +[2020-01-14T20:30:51Z]R2robotThat's just the nature of IRC these days. +[2020-01-14T20:31:10Z]neeasadeR2robot: I feel you, thanks.
R2robot: not a good solution. I don't want to link propietary services (like youtube/vimeo etc.). The project is GPL
+[2020-01-15T13:49:16Z]littlepythonhi i need some help with circleci +[2020-01-15T13:49:27Z]littlepythonthe build is always queued from last night +[2020-01-15T14:24:25Z]maxelis there a way to search all forks of a repository to see if someone used a particular object in their code? +[2020-01-15T19:23:14Z]cousteauHi! How does Github know how to highlight files? It seems to have incorrectly detected a Verilog file as Coq (both use .v extensions) +[2020-01-15T19:23:57Z]cousteauAlso the project info says it uses 20% Coq, but it's all actually Verilog