1 Pull request merged by 1 person

• Fix auto minimizer to download all dependencies

  #333 merged Jan 27, 2025

1 Issue closed by 1 person

• CI minimization needs to be adapted to smaller artifacts

  #332 closed Jan 27, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• coqbot should not add "needs: full ci" after trivial rebase

  #327 commented on Jan 22, 2025 • 0 new comments