02:39
K-ballo has quit [Quit: K-ballo]
03:36
nanashi55 has quit [Ping timeout: 240 seconds]
03:37
nanashi55 has joined #ste||ar
04:28
bita__ has quit [Read error: Connection reset by peer]
06:06
jaafar has quit [Ping timeout: 260 seconds]
06:06
nikunj has joined #ste||ar
06:18
<
nikunj >
is hkaiser on a vacation?
06:48
<
jbjnr__ >
nikunj: no idea. He has not been on IERC for a few days. In 4-5 years I don't recall him ever not checking in for so long.
06:48
<
jbjnr__ >
I guess he's either on vacation or travel of some kind. Hopefully not ill or anything.
07:27
<
simbergm >
jbjnr__: are you working on 3415 or 3420 right now?
07:27
<
jbjnr__ >
not right now. What's up?
07:28
nikunj has quit [Ping timeout: 256 seconds]
07:32
<
simbergm >
nothing special, I'll just change the counters stuff if you're not touching it at the moment
07:32
<
simbergm >
(and will force push in the process)
08:12
daissgr has joined #ste||ar
08:22
heller has quit [Read error: Connection reset by peer]
08:34
jgolinowski has joined #ste||ar
09:05
ste||ar-github has joined #ste||ar
09:05
<
ste||ar-github >
hpx/gh-pages d8c7f9b StellarBot: Updating docs
09:05
ste||ar-github has left #ste||ar [#ste||ar]
09:27
ste||ar-github has joined #ste||ar
09:27
<
ste||ar-github >
hpx/gh-pages 6b7d5e0 Mikael Simberg: Updating Sphinx docs
09:27
ste||ar-github has left #ste||ar [#ste||ar]
09:33
quaz0r has quit [Ping timeout: 244 seconds]
09:47
ste||ar-github has joined #ste||ar
09:47
<
ste||ar-github >
hpx/gh-pages bdef240 Mikael Simberg: Try including Sphinx folders with underscores
09:47
ste||ar-github has left #ste||ar [#ste||ar]
09:56
ste||ar-github has joined #ste||ar
09:56
<
ste||ar-github >
hpx/gh-pages 3cd6060 Mikael Simberg: Try adding .nojekyll file to make all files visible
09:56
ste||ar-github has left #ste||ar [#ste||ar]
09:57
quaz0r has joined #ste||ar
10:10
quaz0r has quit [Ping timeout: 268 seconds]
10:11
quaz0r has joined #ste||ar
10:17
<
jbjnr__ >
simbergm: it seems like appveyor is having trouble.
10:18
<
jbjnr__ >
I'm going to go ahead and merge my CDash timing stuff
10:18
<
jbjnr__ >
(despite the non clean status of the branch)
10:19
ste||ar-github has joined #ste||ar
10:19
ste||ar-github has left #ste||ar [#ste||ar]
10:19
ste||ar-github has joined #ste||ar
10:19
ste||ar-github has left #ste||ar [#ste||ar]
10:43
nikunj97 has joined #ste||ar
10:59
heller_ has joined #ste||ar
11:21
daissgr has quit [Quit: WeeChat 1.9.1]
11:25
<
simbergm >
jbjnr__: yeah, appveyor is still messed up, it manages to download the dependencies once in a hundred tries...
11:25
<
simbergm >
and now circleci is also messed up, they changed some settings relating to caches so all PRs from forks don't build currently
11:39
K-ballo has joined #ste||ar
12:35
eschnett has quit [Quit: eschnett]
12:59
ste||ar-github has joined #ste||ar
12:59
<
ste||ar-github >
hpx/master eb01a64 Mikael Simberg: Merge pull request #3419 from STEllAR-GROUP/fix-circleci-typo...
12:59
ste||ar-github has left #ste||ar [#ste||ar]
13:30
diehlpk_work has joined #ste||ar
13:34
aserio has joined #ste||ar
13:46
aserio has quit [Ping timeout: 268 seconds]
13:56
eschnett has joined #ste||ar
15:04
aserio has joined #ste||ar
15:05
aserio1 has joined #ste||ar
15:08
aserio has quit [Ping timeout: 260 seconds]
15:08
aserio1 is now known as aserio
15:54
akheir has joined #ste||ar
15:58
V|r has joined #ste||ar
16:07
aserio has quit [Ping timeout: 276 seconds]
16:12
aserio has joined #ste||ar
16:40
<
nikunj97 >
diehlpk_work, see pm please
16:40
<
diehlpk_work >
nikunj97, There is none
16:47
aserio has quit [Ping timeout: 260 seconds]
16:56
jaafar has joined #ste||ar
17:01
jaafar_ has joined #ste||ar
17:01
jaafar has quit [Ping timeout: 276 seconds]
17:42
K-ballo has quit [Quit: K-ballo]
17:43
K-ballo has joined #ste||ar
17:50
aserio has joined #ste||ar
18:12
david_pfander has joined #ste||ar
18:16
david_pfander has quit [Ping timeout: 244 seconds]
18:21
nikunj97 has quit [Ping timeout: 240 seconds]
18:57
nikunj has joined #ste||ar
18:57
jaafar_ has quit [Ping timeout: 272 seconds]
19:10
nikunj has quit [Ping timeout: 244 seconds]
19:29
nikunj has joined #ste||ar
20:16
eschnett has quit [Quit: eschnett]
20:18
Vir has quit [Ping timeout: 265 seconds]
20:19
Vir has joined #ste||ar
20:37
bibek has quit [Quit: Konversation terminated!]
20:41
bibek has joined #ste||ar
20:47
bibek has quit [Quit: Konversation terminated!]
20:50
bibek has joined #ste||ar
20:56
bibek has quit [Quit: Konversation terminated!]
20:59
bibek has joined #ste||ar
21:00
bibek has quit [Client Quit]
21:04
bibek has joined #ste||ar
21:21
bibek has quit [Quit: Konversation terminated!]
21:23
bibek has joined #ste||ar
21:32
bibek has quit [Quit: Konversation terminated!]
21:34
bibek has joined #ste||ar
21:38
aserio has quit [Quit: aserio]
21:38
bibek has quit [Client Quit]
21:42
bibek has joined #ste||ar
22:25
eschnett has joined #ste||ar
23:25
jaafar_ has joined #ste||ar