--- Log opened Thu Jun 18 00:00:53 2020
00:58 -!- ThomasV [~thomasv@unaffiliated/thomasv] has joined #utreexo
04:26 -!- ThomasV [~thomasv@unaffiliated/thomasv] has quit [Ping timeout: 246 seconds]
05:10 -!- ThomasV [~thomasv@unaffiliated/thomasv] has joined #utreexo
06:23 -!- ThomasV [~thomasv@unaffiliated/thomasv] has quit [Ping timeout: 246 seconds]
07:20 -!- dergoegge [~dergoegge@dslb-002-202-130-089.002.202.pools.vodafone-ip.de] has joined #utreexo
07:22 < dergoegge> adiabat: i started working getting the integration test to run on github actions. But there was an error and now the job will run until job time limit is reached.
07:23 < dergoegge> can you kill that job for me?
07:24 < dergoegge> https://github.com/mit-dci/utreexo/actions/runs/139742377
07:25 < dergoegge> i will put a limit in the script, so this doesn't happen again. maybe you can also reduce the default job time limit?
08:09 < adiabat> dergoegge: I clicked cancel workflow
08:09 < adiabat> I think that cancelled it
08:10 < adiabat> do you know where I can change the time limit..?
08:14 < adiabat> seems like there's only a per-job setting, not a global / default (or I can't find it)
08:14 < adiabat> https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#jobsjob_idtimeout-minutes
08:41 -!- ThomasV [~thomasv@unaffiliated/thomasv] has joined #utreexo
08:46 < dergoegge> i have no experience with actions so i dont know if there is a global setting. but the per job limit seems good enough
09:52 -!- ThomasV_ [~thomasv@unaffiliated/thomasv] has joined #utreexo
09:55 -!- ThomasV [~thomasv@unaffiliated/thomasv] has quit [Ping timeout: 272 seconds]
12:55 -!- dergoegge [~dergoegge@dslb-002-202-130-089.002.202.pools.vodafone-ip.de] has quit [Quit: leaving]
12:57 -!- ThomasV_ [~thomasv@unaffiliated/thomasv] has quit [Ping timeout: 256 seconds]
14:37 -!- ThomasV_ [~thomasv@unaffiliated/thomasv] has joined #utreexo
14:53 -!- ThomasV_ [~thomasv@unaffiliated/thomasv] has quit [Ping timeout: 246 seconds]
16:04 -!- dergoegge [~dergoegge@dslb-002-202-130-089.002.202.pools.vodafone-ip.de] has joined #utreexo
16:34 -!- dergoegge [~dergoegge@dslb-002-202-130-089.002.202.pools.vodafone-ip.de] has quit [Quit: leaving]
21:34 -!- ThomasV_ [~thomasv@unaffiliated/thomasv] has joined #utreexo
22:31 -!- ThomasV_ [~thomasv@unaffiliated/thomasv] has quit [Ping timeout: 246 seconds]
23:37 -!- ThomasV_ [~thomasv@unaffiliated/thomasv] has joined #utreexo
--- Log closed Fri Jun 19 00:00:54 2020