Skip to content

Commit

Permalink
add tullia tasks and cicero action for CI
Browse files Browse the repository at this point in the history
  • Loading branch information
dermetfan committed Nov 21, 2022
1 parent 5094fb9 commit 3d9006e
Show file tree
Hide file tree
Showing 4 changed files with 507 additions and 7 deletions.

0 comments on commit 3d9006e

Please sign in to comment.