Skip to content

Commit

Permalink
Merge PR coq#19081: Use stages in gitlab-ci.yml
Browse files Browse the repository at this point in the history 
Reviewed-by: Zimmi48
Co-authored-by: Zimmi48 <[email protected]>
  • Loading branch information
@coqbot-app @Zimmi48
coqbot-app[bot] and Zimmi48 authored May 30, 2024
2 parents c67f36d + 533a287 commit 19de843
Show file tree
Hide file tree
Showing 3 changed files with 69 additions and 21 deletions.
Loading

0 comments on commit 19de843

Please sign in to comment.