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: [email protected]
For additional commands, e-mail: [email protected]
