Skip to content

Commit

Permalink
Merge pull request #77 from tweag/fix/fix-ci
Browse files Browse the repository at this point in the history 
Fix the CI
  • Loading branch information
@yannham
yannham authored Jan 16, 2025
2 parents 96e455b + b3c35ac commit 78527fa
Show file tree
Hide file tree
Showing 4 changed files with 0 additions and 1,184 deletions.
Loading

0 comments on commit 78527fa

Please sign in to comment.