*** masahito has joined #congress | 04:12 | |
*** masahito has quit IRC | 04:15 | |
*** masahito has joined #congress | 04:29 | |
openstackgerrit | Merged openstack/congress master: builtins for z3 theories https://review.openstack.org/616134 | 06:38 |
---|---|---|
openstackgerrit | Merged openstack/congress-tempest-plugin master: tempest test for z3 builtins https://review.openstack.org/619506 | 06:38 |
*** ekcs has quit IRC | 06:55 | |
*** masahito has quit IRC | 10:06 | |
*** masahito has joined #congress | 10:22 | |
*** masahito has quit IRC | 10:27 | |
*** ekcs has joined #congress | 18:26 | |
*** masahito has joined #congress | 23:09 | |
*** masahito has quit IRC | 23:14 | |
openstackgerrit | Eric Kao proposed openstack/congress-tempest-plugin master: Add policy eval tests to vitrage webhook driver https://review.openstack.org/625736 | 23:49 |
*** absubram has joined #congress | 23:53 |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!