build.yml: In workflow_dispatch, make container and base tag selectable; add doc

[mkoeppe]

as done in https://github.com/sagemath/sage-patchbot/blob/master/.github/workflows/run_patchbot.yml

We also add some documentation to the developer's guide.

Depends on #34104
Depends on #33873
Depends on #34092

CC: @tobiasdiez @fchapoton @kwankyu @dimpase

Component: user interface

Author: Matthias Koeppe

Branch/Commit: 1f00ee3

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/33819

[mkoeppe]

Dependencies: #34104

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Changed dependencies from #34104 to #34104, #33873

[mkoeppe]

Branch: u/mkoeppe/build_yml__in_workflow_dispatch__make_container_and_base_tag_selectable

[sagetrac-git]

Commit: 99375cd

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

99375cd

.github/workflows/build.yml: In workflow_dispatch, make container and base tag selectable

[tobiasdiez]

comment:6

With these changes the normal workflow triggered by a push doesn't seem to work anymore since the fallback is not used, i.e. the workflow tries to get ghcr.io/sagemath/sage/sage-docker--with-targets which obviously doesn't work: https://github.com/sagemath/sagetrac-mirror/runs/7173656912?check_suite_focus=true

[mkoeppe]

comment:7

Ah, thanks for catching this

[sagetrac-git]

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

6b594c9

.github/workflows/build.yml: Use defaults for 'push' invocations

[sagetrac-git]

Changed commit from 99375cd to 6b594c9

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

31336e0

.github/workflows/build.yml: Use defaults for 'push' invocations

[sagetrac-git]

Changed commit from 6b594c9 to 31336e0

[sagetrac-git]

Changed commit from 31336e0 to 78eda9b

[sagetrac-git]

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

78eda9b

src/doc/en/developer/trac.rst: Merge material from https://trac.sagemath.org/wiki/ReleaseTours/sage-9.6\#BuildsandchecksofticketbranchesonGitHubActions

[mkoeppe]

Changed dependencies from #34104, #33873 to #34104, #33873, #34092

[sagetrac-git]

Changed commit from 78eda9b to 5d6a75c

[sagetrac-git]

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

889fcc1	Revert "Use furo on ci"
5d6a75c	Merge #34092

[dimpase]

comment:17

docs build only after applying

--- a/src/doc/en/developer/trac.rst
+++ b/src/doc/en/developer/trac.rst
@@ -288,9 +288,8 @@ After pushing a branch to a ticket, the ticket will show badges
 linking to results of automated tests that run on the patchbot and
 other ​tests that run on GitHub Actions.
 
-* The Patch buildbot will automatically test your ticket. See `the
-  patchbot wiki <https://trac.sagemath.org/wiki/patchbot>`_ for more
-  information about its features and limitations. Make sure that you
+* The Patch buildbot will automatically test your ticket. See :trac:`wiki/patchbot`
+  for more information about its features and limitations. Make sure that you
   look at the log, especially if the patch buildbot did not give you
   the green blob.
 

[mkoeppe]

comment:19

Thanks, can you push the change to the ticket please?

[sagetrac-git]

Changed commit from 5d6a75c to c223368

[sagetrac-git]

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

c223368

src/doc/en/developer/trac.rst: Fix markup

[dimpase]

Reviewer: Dima Pasechnik

[dimpase]

comment:22

lgtm

[mkoeppe]

comment:23

Thanks!

[vbraun]

comment:24

PDF docs don't build

[sagetrac-git]

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

bce301e	Merge tag '9.7.beta4' into t/33819/build_yml__in_workflow_dispatch__make_container_and_base_tag_selectable
1f00ee3	src/doc/en/developer/trac.rst: Remove stray unicode

[sagetrac-git]

Changed commit from c223368 to 1f00ee3

[vbraun]

Changed branch from u/mkoeppe/build_yml__in_workflow_dispatch__make_container_and_base_tag_selectable to 1f00ee3