Skip to content

Conversation

@Seven-Streams
Copy link
Collaborator

@Seven-Streams Seven-Streams commented Oct 5, 2025

Currently, upload-artifact@v3 is deprecated, and should be updated to upload-artifact@v4. Moreover, this PR changes the triggers for CI to improve flexibility.

@Seven-Streams Seven-Streams requested a review from Copilot October 5, 2025 06:24
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

Updates the GitHub Actions workflow triggers for the LaTeX build to provide more controlled execution conditions.

  • Replaces simple push trigger with structured trigger configuration
  • Adds manual workflow dispatch capability and pull request triggers
  • Restricts push triggers to only the main branch

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

@Seven-Streams Seven-Streams changed the title Update GitHub Actions triggers for LaTeX build [CI] Update the CI. Oct 5, 2025
@Seven-Streams Seven-Streams self-assigned this Oct 5, 2025
@Seven-Streams Seven-Streams requested a review from Copilot October 5, 2025 06:30
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 1 comment.


Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

@Seven-Streams Seven-Streams requested a review from Copilot October 5, 2025 06:32
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated no new comments.


Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

@Seven-Streams Seven-Streams merged commit a425d15 into main Oct 12, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants