#31210 closed enhancement (fixed)

Make it possible to run github workflows manually

Reported by: Tobias Diez Owned by:
Priority: major Milestone: sage-9.3
Component: build Keywords:
Cc: Matthias Köppe Merged in:
Authors: Tobias Diez Reviewers: Matthias Koeppe
Report Upstream: N/A Work issues:
Branch: 70ca199 (Commits, GitHub, GitLab) Commit: 70ca19977f15b50322743e31ba4049eef47cbb0c
Dependencies: Stopgaps:

Status badges

Description

Sometimes it is convenient to run the Github workflows on a branch other than the main/develop one. Currently, one needs to open a PR on github for this. With the changes in this ticket, one can simply run the workflow directly from the sagetrac mirror on the desired branch.

Documentation: https://docs.github.com/en/free-pro-team@latest/actions/reference/events-that-trigger-workflows#workflow_dispatch

Change History (8)

comment:1 Changed 21 months ago by Tobias Diez

Status: newneeds_review

comment:2 Changed 21 months ago by git

Commit: c25fbd8dd13cba254689ad5a42124e749f5a483cb6d6b1c75cc4ae26edd8f1498b5b0ec323736560

Branch pushed to git repo; I updated commit sha1. New commits:

b6d6b1cAdd comments

comment:3 Changed 21 months ago by Matthias Köppe

Could you add a bit of documentation src/doc/en/developer/portability_testing.rst? Right now it recommends either using pull requests or pushing a tag.

comment:4 Changed 21 months ago by git

Commit: b6d6b1c75cc4ae26edd8f1498b5b0ec32373656070ca19977f15b50322743e31ba4049eef47cbb0c

Branch pushed to git repo; I updated commit sha1. New commits:

70ca199Change documentation

comment:5 Changed 21 months ago by Tobias Diez

Done.

comment:6 Changed 21 months ago by Matthias Köppe

Reviewers: Matthias Koeppe
Status: needs_reviewpositive_review

Awesome, thanks!

comment:7 Changed 21 months ago by Tobias Diez

Thanks for the quick review.

comment:8 Changed 20 months ago by Volker Braun

Branch: public/build/workflow_dispatch70ca19977f15b50322743e31ba4049eef47cbb0c
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.