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 9178b89 Add CI conf file
add faaf443 test
No new revisions were added by this update.
Summary of changes:
access_control_module/AttrConf.thy | 2 --
1 file changed, 2 deletions(-)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
