diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-31 15:39:18 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-31 15:39:18 +0100 |
commit | 2e232deb0aed4af2448eb9f1031e8084181174b7 (patch) | |
tree | 6dd781e24a2a260047a8fc9e0a177d1b81bc3b5c /.github/workflows | |
parent | f3e95ff03f1dc9a9de57721eb1c9c93c19329613 (diff) | |
download | vericert-2e232deb0aed4af2448eb9f1031e8084181174b7.tar.gz vericert-2e232deb0aed4af2448eb9f1031e8084181174b7.zip |
Add list of bb to semantics
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions