Fix Python backend and CI

This commit is contained in:
Louis Gesbert 2024-02-01 01:01:04 +01:00
parent e47a1fc220
commit d60b521a4e
2 changed files with 4 additions and 1 deletions

View File

@ -121,7 +121,9 @@ jobs:
# (permission issues) # (permission issues)
run: git clone https://github.com/CatalaLang/catala-examples --depth 1 ~/catala-examples run: git clone https://github.com/CatalaLang/catala-examples --depth 1 ~/catala-examples
- name: Build examples - name: Build examples
run: cd ~/catala-examples && opam --cli=2.1 exec -- make build install run: |
cd ~/catala-examples
opam --cli=2.1 exec -- make build pass_all_tests install
- name: Checkout french-law repo - name: Checkout french-law repo
run: git clone https://github.com/CatalaLang/french-law --depth 1 ~/french-law run: git clone https://github.com/CatalaLang/french-law --depth 1 ~/french-law
- name: Build french-law - name: Build french-law

View File

@ -20,6 +20,7 @@ import copy
Alpha = TypeVar('Alpha') Alpha = TypeVar('Alpha')
Beta = TypeVar('Beta') Beta = TypeVar('Beta')
Gamma = TypeVar('Gamma')
# ============ # ============
# Type classes # Type classes