Skip to content

Commit

Permalink
Merge pull request #680 from proux01/ci_fix
Browse files Browse the repository at this point in the history 
[CI] Fix and test minimal elpi version
  • Loading branch information
@gares
gares authored Aug 15, 2024
2 parents e9ea407 + 1b07fc7 commit 2ef66b2
Show file tree
Hide file tree
Showing 7 changed files with 1,211 additions and 450 deletions.
Loading

0 comments on commit 2ef66b2

Please sign in to comment.