leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: Equational

Topic: Blueprint CI: Added path filters to optimise resources


Pietro Monticone (Oct 03 2024 at 18:23):

I have added path filters to the workflows triggered on push and PR events so that they run only if there has been any change in the relevant files in order to optimise resources for everyone.

Sorry for not caching that earlier :man_facepalming:

Cody Roux (Oct 04 2024 at 01:16):

Serendipitous caching/catching typo!


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll