#ste||ar on 2021-06-19 — 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.

00:01 circleci-bot has joined #ste||ar

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

00:01 circleci-bot has quit [Connection closed]

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

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

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

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

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

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

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

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

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

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

01:11 parsa has joined #ste||ar

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

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

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

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

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

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

02:13 hkaiser has quit [Quit: bye]

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

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

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

02:32 circleci-bot has joined #ste||ar

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

02:32 circleci-bot has quit [Connection closed]

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

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

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

03:24 circleci-bot has joined #ste||ar

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

03:24 circleci-bot has quit [Connection closed]

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

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

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

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

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

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

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

04:28 parsa has joined #ste||ar

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

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

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

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

04:53 <027AAL0U3> Success: hkaiser's build (#255486; push) in STEllAR-GROUP/hpx (transform_annotated_function) -- https://circleci.com/gh/STEllAR-GROUP/hpx/255486?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

04:53 767AAIP4M has joined #ste||ar

04:53 circleci-bot is now known as 027AAL0U3

04:53 027AAL0U3 has quit [Connection closed]

04:53 <767AAIP4M> Success: hkaiser's build (#255488; push) in STEllAR-GROUP/hpx (transform_annotated_function) -- https://circleci.com/gh/STEllAR-GROUP/hpx/255488?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

04:53 767AAIP4M has quit [Connection closed]

04:54 circleci-bot has joined #ste||ar

04:54 circleci-bot has quit [Connection closed]

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

04:54 circleci-bot has joined #ste||ar

04:54 <circleci-bot> Failed: hkaiser's build (#255491; push) in STEllAR-GROUP/hpx (transform_annotated_function) -- https://circleci.com/gh/STEllAR-GROUP/hpx/255491?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

04:54 circleci-bot has quit [Connection closed]

04:56 circleci-bot has joined #ste||ar

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

04:56 circleci-bot has quit [Connection closed]

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

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

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

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

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

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

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

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

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

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

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

05:25 circleci-bot has quit [Connection closed]

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

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

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

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

05:55 parsa| has joined #ste||ar

05:55 parsa| is now known as parsa

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

06:05 parsa has joined #ste||ar

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

06:08 <circleci-bot> Failed: hkaiser's build (#255499; push) in STEllAR-GROUP/hpx (transform_annotated_function) -- https://circleci.com/gh/STEllAR-GROUP/hpx/255499?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

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

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

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

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

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

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

07:59 <circleci-bot> Failed: hkaiser's build (#255497; push) in STEllAR-GROUP/hpx (transform_annotated_function) -- https://circleci.com/gh/STEllAR-GROUP/hpx/255497?utm_campaign=chatroom-integration&utm_medium=referral&utm_source=irc

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

13:15 hkaiser has joined #ste||ar

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

14:58 parsa| has joined #ste||ar

14:59 parsa| is now known as parsa

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

15:09 parsa has joined #ste||ar

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

15:17 parsa has joined #ste||ar

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

15:19 parsa has joined #ste||ar

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

16:14 parsa has joined #ste||ar

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

17:26 parsa has joined #ste||ar

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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