Skip to content

Conversation

user202729
Copy link
Owner

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

⌛ Dependencies

@user202729 user202729 force-pushed the test-2 branch 2 times, most recently from 57cadea to db239cb Compare June 2, 2025 08:38
@user202729 user202729 added bug Something isn't working and removed bug Something isn't working labels Jun 2, 2025
vbraun pushed a commit to vbraun/sage that referenced this pull request Jun 8, 2025
sagemathgh-40192: Fix synchronize labels GitHub action
    
fix sagemath#40193 . However because the
workflow is not changed when I change the yml file here, I'm unable to
test it here.

You can see the bot working on a pull request on my fork:
user202729#1

Despite the CI fix label, this will actually not fix the CI until it's
merged to develop.


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [ ] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->
    
URL: sagemath#40192
Reported by: user202729
Reviewer(s): Tobias Diez, user202729
vbraun pushed a commit to vbraun/sage that referenced this pull request Jun 9, 2025
sagemathgh-40192: Fix synchronize labels GitHub action
    
fix sagemath#40193 . However because the
workflow is not changed when I change the yml file here, I'm unable to
test it here.

You can see the bot working on a pull request on my fork:
user202729#1

Despite the CI fix label, this will actually not fix the CI until it's
merged to develop.


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [ ] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->
    
URL: sagemath#40192
Reported by: user202729
Reviewer(s): Tobias Diez, user202729
vbraun pushed a commit to vbraun/sage that referenced this pull request Jun 9, 2025
sagemathgh-40192: Fix synchronize labels GitHub action
    
fix sagemath#40193 . However because the
workflow is not changed when I change the yml file here, I'm unable to
test it here.

You can see the bot working on a pull request on my fork:
user202729#1

Despite the CI fix label, this will actually not fix the CI until it's
merged to develop.


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [ ] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->
    
URL: sagemath#40192
Reported by: user202729
Reviewer(s): Tobias Diez, user202729
vbraun pushed a commit to vbraun/sage that referenced this pull request Jun 9, 2025
sagemathgh-40192: Fix synchronize labels GitHub action
    
fix sagemath#40193 . However because the
workflow is not changed when I change the yml file here, I'm unable to
test it here.

You can see the bot working on a pull request on my fork:
user202729#1

Despite the CI fix label, this will actually not fix the CI until it's
merged to develop.


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [ ] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->
    
URL: sagemath#40192
Reported by: user202729
Reviewer(s): Tobias Diez, user202729
vbraun pushed a commit to vbraun/sage that referenced this pull request Jun 13, 2025
sagemathgh-40192: Fix synchronize labels GitHub action
    
fix sagemath#40193 . However because the
workflow is not changed when I change the yml file here, I'm unable to
test it here.

You can see the bot working on a pull request on my fork:
user202729#1

Despite the CI fix label, this will actually not fix the CI until it's
merged to develop.


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [ ] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->
    
URL: sagemath#40192
Reported by: user202729
Reviewer(s): Tobias Diez, user202729
user202729 pushed a commit that referenced this pull request Jun 26, 2025
remove CR from msolve pattern
user202729 pushed a commit that referenced this pull request Aug 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant