fix GitHub CI (!11) · Merge requests · Dragoon / FRI - Fast Reed-solomon Interactive oracle proof of proximity · GitLab

Snippets Groups Projects

Merged STEVAN Antoine requested to merge fix-github-ci into main 5 months ago

remove example from make call

Activity

STEVAN Antoine added bookkeeping fix labels 5 months ago

added bookkeeping fix labels
STEVAN Antoine enabled an automatic merge when all merge checks for 74a5f149 pass 5 months ago

enabled an automatic merge when all merge checks for 74a5f149 pass
STEVAN Antoine mentioned in merge request !10 (merged) 5 months ago

mentioned in merge request !10 (merged)
STEVAN Antoine merged 5 months ago

merged
STEVAN Antoine mentioned in commit 8df485f5 5 months ago

mentioned in commit 8df485f5

Please register or sign in to reply