Skip to content

Fix Oracles for Catala's introspection (catala#974)#41

Merged
AltGr merged 1 commit into
masterfrom
wiprtype
Apr 2, 2026
Merged

Fix Oracles for Catala's introspection (catala#974)#41
AltGr merged 1 commit into
masterfrom
wiprtype

Conversation

@AltGr

@AltGr AltGr commented Apr 2, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@AltGr AltGr merged commit 3c08616 into master Apr 2, 2026
1 check failed
@denismerigoux denismerigoux moved this from Done to In Progress in Catala - language & tooling Apr 2, 2026
@denismerigoux denismerigoux moved this from In Progress to Done in Catala - language & tooling Apr 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants