02:32:17 <ekcs> #startmeeting congressteammeeting 02:32:18 <openstack> Meeting started Fri Jul 20 02:32:17 2018 UTC and is due to finish in 60 minutes. The chair is ekcs. Information about MeetBot at http://wiki.debian.org/MeetBot. 02:32:19 <openstack> Useful Commands: #action #agreed #help #info #idea #link #topic #startvote. 02:32:21 <openstack> The meeting name has been set to 'congressteammeeting' 02:36:43 <ekcs> hi all. 02:36:50 <ekcs> topics here as usual 02:36:50 <ekcs> https://etherpad.openstack.org/p/congress-meeting-topics 02:37:00 <akhil_jain_> ekcs: hi 02:37:55 <ekcs> hi akhil_jain_ ! 02:40:29 <ekcs> ok let’s get started 02:40:37 <ekcs> #topic announcements 02:41:15 <ekcs> monasca client blockage resolved 02:41:26 <ekcs> from the sphinx version change. 02:42:19 <ekcs> had another gate breakage because of new osc-lib version causing monasca client to fail to load. 02:43:04 <ekcs> so I disabled the monasca tempest test in the mean time until a new monasca client version fixes the problem. 02:43:40 <ekcs> that’s all for my announcements. anything else? 02:47:45 <ekcs> ok moving on then. 02:47:48 <ekcs> #topic patches 02:49:40 <ekcs> want to point out a patch Pierre has been working on. it’s an alternative datalog engine for congress that would work alongside the standard datalog engine. still WIP at this point, but the hope is to get an experimental version merged next week. 02:49:45 <ekcs> https://review.openstack.org/#/c/582625/ 02:49:46 <patchbot> patch 582625 - congress - WIP: Z3 engine as an alternative Datalog engine 02:51:11 <ekcs> nothing else from me at this point. 02:51:31 <ekcs> trying to get everything ready for review for feature freeze next week. 02:51:53 <masahito> hello, sorry to be late. 02:52:04 <ekcs> masahito: hello! np 02:52:32 <ekcs> I was just pointing out a patch Pierre has been working on. 02:52:43 <masahito> got it. 02:52:56 <ekcs> it’s an alternative datalog engine for congress that would work alongside the standard datalog engine. still WIP at this point, but the hope is to get an experimental version merged next week. maybe enabled by config option. 02:53:04 <ekcs> https://review.openstack.org/#/c/582625/ 02:53:05 <patchbot> patch 582625 - congress - WIP: Z3 engine as an alternative Datalog engine 02:54:14 <ekcs> that’s all from me at this point. 02:55:45 <ekcs> i’m also working on the implementation of the explicit types spec going along with the alternative engine. part 1 is ready for review. part 2 still wip. expecting to have that ready for review today hopefully. 02:56:01 <ekcs> anything else we’d like to talk about? 02:56:51 <akhil_jain_> ekcs: is z3 engine path ready to be tested or in progress? 02:58:37 <akhil_jain_> patch* 02:58:42 <ekcs> it’s not ready to merge, but it’s expected to be working so testable. 02:59:21 <akhil_jain_> ok I will go through z3 then 02:59:27 <ekcs> Pierre has it working on his setup. 03:00:00 <akhil_jain_> i read commit message saying it requires setup 03:00:09 <akhil_jain_> of z3 03:00:21 <ekcs> I can ask pierre to upload the change to client which would also make it easier to test. 03:00:24 <ekcs> oh yea that’s true. 03:00:40 <ekcs> may not be worth the effort to go through all that right now. 03:01:23 <akhil_jain_> ok then will test after its ready 03:01:52 <ekcs> cool! 03:01:59 <ekcs> anything else to talk about? 03:02:18 <akhil_jain_> nothing from my side 03:02:38 <masahito> nothing from my side. 03:02:54 <ekcs> alright next time then! 03:03:01 <ekcs> have a great weekend! 03:03:35 <akhil_jain_> Bye! happy weekend! 03:04:12 <ekcs> bye 03:04:16 <ekcs> #endmeeting