Skip to content

Fix triggering CI#2433

Merged
albinahlback merged 2 commits intoflintlib:mainfrom
albinahlback:ci_update
Oct 27, 2025
Merged

Fix triggering CI#2433
albinahlback merged 2 commits intoflintlib:mainfrom
albinahlback:ci_update

Conversation

@albinahlback
Copy link
Collaborator

@albinahlback albinahlback commented Oct 27, 2025

  1. Builds documentation if any change has been made.
  2. Deploys documentation if pushing on main branch.
  3. Triggers tests only if neccessary (like any change to source or Makefile).

Solves #2427

@albinahlback albinahlback merged commit 0c9a2c6 into flintlib:main Oct 27, 2025
13 of 14 checks passed
@fredrik-johansson
Copy link
Collaborator

fredrik-johansson commented Oct 27, 2025

Nice!

dlesnoff pushed a commit to dlesnoff/flint-fork that referenced this pull request Oct 29, 2025
@albinahlback @dlesnoff
Trigger CI only when necessary (flintlib#2433)
89c87ac
@albinahlback albinahlback deleted the ci_update branch November 19, 2025 18:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

CI workshop 2025v2

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@albinahlback @fredrik-johansson