You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@teaclave.apache.org by yu...@apache.org on 2021/03/17 04:34:58 UTC
[incubator-teaclave-verification] branch ci updated (faaf443 ->
37ec166)
This is an automated email from the ASF dual-hosted git repository.
yulongzhang pushed a change to branch ci
in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-verification.git.
from faaf443 test
add 37ec166 save
No new revisions were added by this update.
Summary of changes:
access_control_module/AttrConf.thy | 2 ++
1 file changed, 2 insertions(+)
---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscribe@teaclave.apache.org
For additional commands, e-mail: commits-help@teaclave.apache.org