#ste||ar on 2021-06-15 — irc logs at irclog.cct.lsu.edu

2021-06-14 12:15 hkaiser changed the topic of #ste||ar to: Notice: We will move this channel to Libra.Chat (irc://irc.libera.chat:6667) soon. Please /join #ste||ar on that network. Please ask here if you need help. This channel here will stay available for a while.

01:52 chuanqiu has joined #ste||ar

01:53 chuanqiu has quit [Client Quit]

01:58 chuanqiu has joined #ste||ar

02:03 chuanqiu has quit [Quit: Connection closed]

02:06 chuanqiu has joined #ste||ar

02:20 chuanqiu has quit [Quit: Connection closed]

08:39 bobakk3r has quit [Ping timeout: 260 seconds]

10:22 RostamLog has quit [Ping timeout: 252 seconds]

10:22 RostamLog has joined #ste||ar

10:22 circleci-bot has joined #ste||ar

10:22 <circleci-bot> Success: msimberg's build (#254760; push) in STEllAR-GROUP/hpx (pull/5390) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254760?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

10:22 circleci-bot has quit [Connection closed]

10:38 circleci-bot has joined #ste||ar

10:38 <circleci-bot> Success: Jedi18's build (#254747; push) in STEllAR-GROUP/hpx (pull/5389) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254747?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

10:38 circleci-bot has quit [Connection closed]

10:40 circleci-bot has joined #ste||ar

10:40 <circleci-bot> Success: msimberg's build (#254759; push) in STEllAR-GROUP/hpx (pull/5390) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254759?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

10:40 circleci-bot has quit [Connection closed]

11:05 circleci-bot has joined #ste||ar

11:05 <circleci-bot> Failed: Jedi18's build (#254745; push) in STEllAR-GROUP/hpx (pull/5389) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254745?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:05 circleci-bot has quit [Client exited]

11:07 circleci-bot has joined #ste||ar

11:07 <circleci-bot> Success: aurianer's build (#254764; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254764?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:07 circleci-bot has quit [Connection closed]

11:07 circleci-bot has joined #ste||ar

11:07 <circleci-bot> Success: aurianer's build (#254765; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254765?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:07 circleci-bot has quit [Client exited]

11:07 circleci-bot has joined #ste||ar

11:07 <circleci-bot> Success: aurianer's build (#254766; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254766?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:07 circleci-bot has quit [Connection closed]

11:08 circleci-bot has joined #ste||ar

11:08 <circleci-bot> Success: aurianer's build (#254767; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254767?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:08 circleci-bot has quit [Connection closed]

11:08 circleci-bot has joined #ste||ar

11:08 <circleci-bot> Success: msimberg's build (#254762; push) in STEllAR-GROUP/hpx (pull/5390) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254762?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:08 circleci-bot has quit [Connection closed]

11:09 circleci-bot has joined #ste||ar

11:09 <circleci-bot> Success: aurianer's build (#254768; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254768?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:09 circleci-bot has quit [Connection closed]

11:09 circleci-bot has joined #ste||ar

11:09 <circleci-bot> Success: aurianer's build (#254769; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254769?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:09 circleci-bot has quit [Connection closed]

11:10 circleci-bot has joined #ste||ar

11:10 <circleci-bot> Success: aurianer's build (#254771; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254771?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:10 circleci-bot has quit [Connection closed]

11:10 circleci-bot has joined #ste||ar

11:10 <circleci-bot> Success: aurianer's build (#254770; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254770?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:10 circleci-bot has quit [Connection closed]

11:18 circleci-bot has joined #ste||ar

11:18 <circleci-bot> Success: aurianer's build (#254773; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254773?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:18 circleci-bot has quit [Connection closed]

11:20 circleci-bot has joined #ste||ar

11:20 <circleci-bot> Success: msimberg's build (#254772; push) in STEllAR-GROUP/hpx (pull/5390) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254772?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:20 circleci-bot has quit [Connection closed]

11:33 circleci-bot has joined #ste||ar

11:33 circleci-bot has quit [Connection closed]

11:33 <circleci-bot> Success: aurianer's build (#254775; push) in STEllAR-GROUP/hpx (pull/5283) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254775?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:34 circleci-bot has joined #ste||ar

11:34 <circleci-bot> Success: aurianer's build (#254776; push) in STEllAR-GROUP/hpx (pull/5283) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254776?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:34 circleci-bot has quit [Connection closed]

11:34 hkaiser has joined #ste||ar

11:35 circleci-bot has joined #ste||ar

11:35 <circleci-bot> Success: aurianer's build (#254778; push) in STEllAR-GROUP/hpx (pull/5283) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254778?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:35 circleci-bot has quit [Connection closed]

11:39 circleci-bot has joined #ste||ar

11:39 <circleci-bot> Success: aurianer's build (#254781; push) in STEllAR-GROUP/hpx (pull/5283) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254781?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

11:39 circleci-bot has quit [Connection closed]

12:27 circleci-bot has joined #ste||ar

12:27 <circleci-bot> Success: aurianer's build (#254786; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254786?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

12:27 circleci-bot has quit [Connection closed]

12:34 parsa has joined #ste||ar

12:36 parsa has quit [Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net]

12:38 parsa has joined #ste||ar

13:09 <hkaiser> parsa: please come over to #ste||ar on Libra.Chat - freenode deterioates with increasing speed

13:39 circleci-bot has joined #ste||ar

13:39 circleci-bot has quit [Connection closed]

13:39 <circleci-bot> Success: msimberg's build (#254796; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254796?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

13:46 parsa has quit [Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net]

14:01 parsa has joined #ste||ar

14:09 shahrzad has joined #ste||ar

14:09 circleci-bot has joined #ste||ar

14:09 <circleci-bot> Success: msimberg's build (#254803; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254803?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

14:09 circleci-bot has quit [Connection closed]

14:10 circleci-bot has joined #ste||ar

14:10 <circleci-bot> Success: msimberg's build (#254804; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254804?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

14:10 circleci-bot has quit [Connection closed]

14:10 shahrzad has quit [Quit: Leaving]

14:48 circleci-bot has joined #ste||ar

14:48 <circleci-bot> Success: aurianer's build (#254789; push) in STEllAR-GROUP/hpx (pull/5044) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254789?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

14:48 circleci-bot has quit [Connection closed]

15:17 circleci-bot has joined #ste||ar

15:17 <circleci-bot> Success: msimberg's build (#254807; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254807?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

15:17 circleci-bot has quit [Connection closed]

15:29 diehlpk_work has joined #ste||ar

15:39 circleci-bot has joined #ste||ar

15:39 <circleci-bot> Success: aurianer's build (#254814; push) in STEllAR-GROUP/hpx (pull/5283) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254814?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

15:39 circleci-bot has quit [Connection closed]

15:49 circleci-bot has joined #ste||ar

15:49 circleci-bot has quit [Connection closed]

15:49 <circleci-bot> Success: msimberg's build (#254816; push) in STEllAR-GROUP/hpx (pull/5391) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254816?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

15:50 circleci-bot has joined #ste||ar

15:50 circleci-bot has quit [Connection closed]

15:50 <circleci-bot> Success: msimberg's build (#254817; push) in STEllAR-GROUP/hpx (pull/5391) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254817?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

15:53 circleci-bot has joined #ste||ar

15:53 <circleci-bot> Success: aurianer's build (#254820; push) in STEllAR-GROUP/hpx (pull/5283) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254820?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

15:53 circleci-bot has quit [Connection closed]

16:07 circleci-bot has joined #ste||ar

16:07 circleci-bot has quit [Connection closed]

16:07 <circleci-bot> Success: msimberg's build (#254824; push) in STEllAR-GROUP/hpx (pull/5391) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254824?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:12 circleci-bot has joined #ste||ar

16:12 <circleci-bot> Success: msimberg's build (#254828; push) in STEllAR-GROUP/hpx (pull/5391) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254828?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:12 circleci-bot has quit [Connection closed]

16:12 circleci-bot has joined #ste||ar

16:12 circleci-bot has quit [Connection closed]

16:12 <circleci-bot> Success: msimberg's build (#254829; push) in STEllAR-GROUP/hpx (pull/5391) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254829?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:13 parsa| has joined #ste||ar

16:15 parsa has quit [Connection closed]

16:15 parsa| is now known as parsa

16:30 circleci-bot has joined #ste||ar

16:30 <circleci-bot> Success: msimberg's build (#254834; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254834?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:30 circleci-bot has quit [Connection closed]

16:30 circleci-bot has joined #ste||ar

16:30 circleci-bot has quit [Connection closed]

16:30 <circleci-bot> Success: aurianer's build (#254831; push) in STEllAR-GROUP/hpx (pull/5283) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254831?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:39 circleci-bot has joined #ste||ar

16:39 <circleci-bot> Success: msimberg's build (#254836; push) in STEllAR-GROUP/hpx (pull/5391) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254836?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:39 circleci-bot has quit [Connection closed]

16:44 circleci-bot has joined #ste||ar

16:44 <circleci-bot> Success: msimberg's build (#254842; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254842?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:44 circleci-bot has quit [Connection closed]

16:45 circleci-bot has joined #ste||ar

16:45 <circleci-bot> Success: msimberg's build (#254839; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254839?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:45 circleci-bot has quit [Connection closed]

16:46 circleci-bot has joined #ste||ar

16:46 circleci-bot has quit [Connection closed]

16:46 <circleci-bot> Success: msimberg's build (#254840; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254840?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:47 circleci-bot has joined #ste||ar

16:47 <circleci-bot> Success: hkaiser's build (#254843; push) in STEllAR-GROUP/hpx (fixing_gather) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254843?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:47 circleci-bot has quit [Connection closed]

16:58 circleci-bot has joined #ste||ar

16:58 <circleci-bot> Success: aurianer's build (#254846; push) in STEllAR-GROUP/hpx (pull/5283) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254846?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

16:58 circleci-bot has quit [Connection closed]

17:15 circleci-bot has joined #ste||ar

17:15 <circleci-bot> Success: msimberg's build (#254808; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254808?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

17:15 circleci-bot has quit [Connection closed]

17:19 circleci-bot has joined #ste||ar

17:19 <circleci-bot> Success: aurianer's build (#254845; push) in STEllAR-GROUP/hpx (pull/5283) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254845?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

17:19 circleci-bot has quit [Connection closed]

17:50 circleci-bot has joined #ste||ar

17:50 <circleci-bot> Success: hkaiser's build (#254855; push) in STEllAR-GROUP/hpx (fixing_gather) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254855?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

17:50 circleci-bot has quit [Connection closed]

17:50 circleci-bot has joined #ste||ar

17:50 <circleci-bot> Success: hkaiser's build (#254856; push) in STEllAR-GROUP/hpx (fixing_gather) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254856?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

17:50 circleci-bot has quit [Connection closed]

17:51 circleci-bot has joined #ste||ar

17:51 <circleci-bot> Success: msimberg's build (#254851; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254851?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

17:51 circleci-bot has quit [Connection closed]

18:42 circleci-bot has joined #ste||ar

18:42 circleci-bot has quit [Connection closed]

18:42 <circleci-bot> Success: aurianer's build (#254847; push) in STEllAR-GROUP/hpx (pull/5283) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254847?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

19:29 circleci-bot has joined #ste||ar

19:29 <circleci-bot> Success: msimberg's build (#254858; push) in STEllAR-GROUP/hpx (pull/5391) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254858?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

19:29 circleci-bot has quit [Connection closed]

19:38 Vir has joined #ste||ar

19:43 circleci-bot has joined #ste||ar

19:43 <circleci-bot> Success: msimberg's build (#254864; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254864?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

19:43 circleci-bot has quit [Connection closed]

20:12 circleci-bot has joined #ste||ar

20:12 <circleci-bot> Failed: msimberg's build (#254859; push) in STEllAR-GROUP/hpx (pull/5391) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254859?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

20:12 circleci-bot has quit [Connection closed]

20:44 circleci-bot has joined #ste||ar

20:44 circleci-bot has quit [Connection closed]

20:44 <circleci-bot> Success: msimberg's build (#254868; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254868?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

20:52 circleci-bot has joined #ste||ar

20:52 <circleci-bot> Success: hkaiser's build (#254871; push) in STEllAR-GROUP/hpx (fixing_gather) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254871?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

20:52 circleci-bot has quit [Connection closed]

20:57 circleci-bot has joined #ste||ar

20:57 <circleci-bot> Success: msimberg's build (#254872; push) in STEllAR-GROUP/hpx (pull/5391) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254872?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

20:57 circleci-bot has quit [Connection closed]

21:27 switchnode has joined #ste||ar

21:27 switchnode has left #ste||ar ["ollies out"]

21:42 circleci-bot has joined #ste||ar

21:42 <circleci-bot> Success: hkaiser's build (#254875; push) in STEllAR-GROUP/hpx (fixing_gather) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254875?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

21:42 circleci-bot has quit [Connection closed]

21:49 circleci-bot has joined #ste||ar

21:49 <circleci-bot> Success: msimberg's build (#254865; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254865?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

21:49 circleci-bot has quit [Connection closed]

22:29 circleci-bot has joined #ste||ar

22:29 <circleci-bot> Success: hkaiser's build (#254881; push) in STEllAR-GROUP/hpx (fixing_gather) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254881?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

22:29 circleci-bot has quit [Connection closed]

22:37 circleci-bot has joined #ste||ar

22:37 <circleci-bot> Failed: msimberg's build (#254880; push) in STEllAR-GROUP/hpx (master) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254880?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

22:37 circleci-bot has quit [Connection closed]

22:39 <hkaiser> Vir: please join us over on Libra.Chat: /join #ste||ar there - this channel is deterioating faster than expected

22:42 circleci-bot has joined #ste||ar

22:42 <circleci-bot> Success: hkaiser's build (#254874; push) in STEllAR-GROUP/hpx (fixing_gather) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254874?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

22:42 circleci-bot has quit [Connection closed]

22:57 circleci-bot has joined #ste||ar

22:57 <circleci-bot> Success: build (#254883; push) in STEllAR-GROUP/hpx (khuck-patch-1) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254883?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

22:57 circleci-bot has quit [Connection closed]

22:58 circleci-bot has joined #ste||ar

22:58 <circleci-bot> Success: build (#254886; push) in STEllAR-GROUP/hpx (khuck-patch-1) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254886?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

22:58 circleci-bot has quit [Connection closed]

22:58 circleci-bot has joined #ste||ar

22:58 <circleci-bot> Success: build (#254884; push) in STEllAR-GROUP/hpx (khuck-patch-1) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254884?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

22:58 circleci-bot has quit [Connection closed]

22:59 circleci-bot has joined #ste||ar

22:59 <circleci-bot> Success: build (#254887; push) in STEllAR-GROUP/hpx (khuck-patch-1) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254887?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

22:59 circleci-bot has quit [Connection closed]

22:59 circleci-bot has joined #ste||ar

22:59 <circleci-bot> Success: build (#254888; push) in STEllAR-GROUP/hpx (khuck-patch-1) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254888?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

22:59 circleci-bot has quit [Connection closed]

23:20 circleci-bot has joined #ste||ar

23:20 <circleci-bot> Success: build (#254891; push) in STEllAR-GROUP/hpx (khuck-patch-1) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254891?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

23:20 circleci-bot has quit [Connection closed]

23:37 circleci-bot has joined #ste||ar

23:37 <circleci-bot> Circle bug: hkaiser's build (#254878; push) in STEllAR-GROUP/hpx (fixing_gather) -- https://circleci.com/gh/STEllAR-GROUP/hpx/254878?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

23:37 circleci-bot has quit [Connection closed]