Skip to content

Commit

Permalink
Merge #3594
Browse files Browse the repository at this point in the history 
3594: add CI using cicero and tullia r=Anviking a=dermetfan



Co-authored-by: Robin Stumm <[email protected]>
  • Loading branch information
@iohk-bors @dermetfan
iohk-bors[bot] and dermetfan authored Nov 24, 2022
2 parents 956fa1f + 3c81c30 commit a1a71d8
Show file tree
Hide file tree
Showing 3 changed files with 492 additions and 3 deletions.
Loading

0 comments on commit a1a71d8

Please sign in to comment.