diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-08-12 19:13:31 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-12 19:13:44 +0200 |
commit | f9d3eaa70b8818d6e3d3ac57e789f58a99ae64e6 (patch) | |
tree | a91c27d7fe155150714e95b9b849da82b51237bf /.github/workflows | |
parent | 8183f45c4a27dc81f8f43056a90fa4f0017edc8e (diff) | |
download | vericert-kvx-f9d3eaa70b8818d6e3d3ac57e789f58a99ae64e6.tar.gz vericert-kvx-f9d3eaa70b8818d6e3d3ac57e789f58a99ae64e6.zip |
Finish proof of conditionals
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions