Skip to content
GitLab
Explore
Sign in
Open
0
Merged
47
Closed
7
All
54
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Ajustement pour changement de Catala dans la runtime et les messages
!43
· created
May 06, 2024
by
Louis Gesbert
Closed
1
updated
May 15, 2024
oracles.ml: ajustement pour changement dans la runtime / utilisation de `test-scope`
!41
· created
May 02, 2024
by
Louis Gesbert
Closed
1
updated
May 03, 2024
Draft: Castest bnc
!37
· created
Apr 03, 2024
by
Caroline Flori
Closed
updated
Apr 12, 2024
Draft: Running tests natively, using modules
!5
· created
Sep 01, 2023
by
Louis Gesbert
Sprint n°3 (novembre 2023)
infrastructure
Closed
2
updated
Dec 01, 2023
Cas test revenus quotientés 2
!22
· created
Oct 25, 2023
by
Caroline Flori
cas de test
Closed
1
updated
Oct 25, 2023
Améliorer le harnais de test
!17
· created
Oct 12, 2023
by
Denis Merigoux
Sprint n°2 (octobre 2023)
infrastructure
Closed
1
updated
Oct 15, 2023
add catleg (linting) job
!6
· created
Sep 04, 2023
by
Romain Primet
Closed
updated
Sep 04, 2023
