Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ticket badges show "failing" when actually in progress #33818

Closed
mkoeppe opened this issue May 6, 2022 · 6 comments
Closed

Ticket badges show "failing" when actually in progress #33818

mkoeppe opened this issue May 6, 2022 · 6 comments
Labels
c: user interface p: major / 3 t: bug

Comments

@mkoeppe
Copy link
Contributor

mkoeppe commented May 6, 2022

Depends on #30363

CC: @tobiasdiez

Component: user interface

Reviewer: Kwankyu Lee

Issue created by migration from https://trac.sagemath.org/ticket/33818
@mkoeppe mkoeppe added this to the sage-9.7 milestone May 6, 2022
@tobiasdiez
Copy link
Contributor

comment:1

I don't think there is anything we can do there except for migrating to github.

@mkoeppe
Copy link
Contributor Author

mkoeppe commented May 8, 2022

comment:2

If only there was a way to query a JSON endpoint like https://api.github.com/repos/sagemath/sagetrac-mirror/actions/workflows/build.yml/runs?branch=u/mkoeppe/remove_use_of_sage_lib_in_sage_misc&status=in_progress

@mkoeppe mkoeppe modified the milestones: sage-9.7, sage-9.8 Aug 1, 2022
@mkoeppe
Copy link
Contributor Author

mkoeppe commented Sep 10, 2022

comment:4

Looks like we have momentum to do the transition to GH, so we can close this

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Sep 10, 2022

Dependencies: #30363

@mkoeppe mkoeppe removed this from the sage-9.8 milestone Sep 10, 2022
@kwankyu
Copy link
Collaborator

kwankyu commented Jan 4, 2023

Reviewer: Kwankyu Lee

@kwankyu
Copy link
Collaborator

kwankyu commented Jan 4, 2023

comment:5

Yes.

@tobiasdiez tobiasdiez mentioned this issue Jan 2, 2023
Closed
@mkoeppe mkoeppe closed this as not planned Won't fix, can't repro, duplicate, stale Feb 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: user interface p: major / 3 t: bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@kwankyu @tobiasdiez @mkoeppe