Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-08-14

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:34 xstill mornfall: co s tím buildbotem teda?
10:54 mornfall xstill: zatím nic a až to začne vadit tak něco
10:55 mornfall zatím jen nemam 'centrální' repo (kam bych nedával patche který chci pak zlikvidovat)
10:55 divine-buildbot build #3 of ib015 started
10:58 divine-buildbot Hey! build ib015 #3 is complete: Success [finished]
10:59 xstill to repo z čeho taháme to nesplňuje?
10:59 mornfall no ne, tam se občas nějaký XXX objeví, a taky tam buildim a edituju a recorduju
11:00 mornfall dám to do ~xrockai/src/divine/mainline (běží get)
11:02 xstill ok
11:02 divine-buildbot joined #divine
16:27 divine-buildbot_ joined #divine
17:12 divine-buildbot_ build #1 of paradise-web-paradise started
17:12 divine-buildbot_ Hey! build paradise-web-paradise #1 is complete: Failure [finished]
17:13 divine-buildbot joined #divine
17:13 divine-buildbot build #2 of paradise-web-paradise started
17:13 divine-buildbot Hey! build paradise-web-paradise #2 is complete: Failure [finished]
17:14 divine-buildbot joined #divine
17:14 divine-buildbot build #3 of paradise-web-paradise started
17:14 divine-buildbot Hey! build paradise-web-paradise #3 is complete: Failure [finished]
17:22 divine-buildbot build #1 of paradise-web-publications started
17:23 divine-buildbot build #4 of paradise-web-paradise started
17:23 divine-buildbot Hey! build paradise-web-paradise #4 is complete: Failure [finished]
17:23 divine-buildbot Hey! build paradise-web-publications #1 is complete: Failure [finished]
17:23 divine-buildbot build #2 of paradise-web-publications started
17:24 divine-buildbot Hey! build paradise-web-publications #2 is complete: Failure [finished]
17:24 divine-buildbot build #3 of paradise-web-publications started
17:24 divine-buildbot Hey! build paradise-web-publications #3 is complete: Failure [finished]
17:25 divine-buildbot joined #divine
17:27 divine-buildbot build #1 of paradise-web-paradise-auth started
17:27 divine-buildbot Hey! build paradise-web-paradise-auth #1 is complete: Failure [finished]
17:27 divine-buildbot build #2 of paradise-web-paradise-auth started
17:28 divine-buildbot Hey! build paradise-web-paradise-auth #2 is complete: Failure [finished]
17:29 divine-buildbot build #4 of paradise-web-publications started
17:29 divine-buildbot Hey! build paradise-web-publications #4 is complete: Success [finished]
17:31 divine-buildbot build #5 of paradise-web-paradise started
17:31 divine-buildbot Hey! build paradise-web-paradise #5 is complete: Failure [finished]
17:34 divine-buildbot joined #divine
17:34 divine-buildbot build #6 of paradise-web-paradise started
17:34 divine-buildbot Hey! build paradise-web-paradise #6 is complete: Failure [finished]
17:35 divine-buildbot build #7 of paradise-web-paradise started
17:35 divine-buildbot Hey! build paradise-web-paradise #7 is complete: Failure [finished]
17:36 divine-buildbot joined #divine
17:37 divine-buildbot build #8 of paradise-web-paradise started
17:37 divine-buildbot Hey! build paradise-web-paradise #8 is complete: Failure [finished]
17:37 divine-buildbot build #9 of paradise-web-paradise started
17:37 divine-buildbot Hey! build paradise-web-paradise #9 is complete: Success [finished]
17:38 divine-buildbot build #3 of paradise-web-paradise-auth started
17:38 divine-buildbot Hey! build paradise-web-paradise-auth #3 is complete: Success [finished]
17:39 divine-buildbot build #1 of paradise-web-reading started
17:40 divine-buildbot Hey! build paradise-web-reading #1 is complete: Success [finished]
17:40 divine-buildbot build #2 of paradise-web-reading started
17:41 divine-buildbot Hey! build paradise-web-reading #2 is complete: Success [finished]
17:42 mornfall um
19:20 divine-buildbot build #10 of paradise-web-paradise started
19:21 divine-buildbot Hey! build paradise-web-paradise #10 is complete: Success [finished]
20:03 divine-buildbot joined #divine

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary