Skip to content

Actions: gerph/riscos-prminxml-staging

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix up the release name for the PDF. PRMinXML #56: Commit 2b3ed9d pushed by gerph
September 3, 2023 23:49 3m 13s v2023-09-04
v2023-09-04
September 3, 2023 23:49 3m 13s
Fix up the release name for the PDF. PRMinXML #55: Commit 2b3ed9d pushed by gerph
September 3, 2023 23:37 5m 0s v2023-09-04
v2023-09-04
September 3, 2023 23:37 5m 0s
Fix up the release name for the PDF. PRMinXML #54: Commit 2b3ed9d pushed by gerph
September 3, 2023 23:35 3m 51s master
master
September 3, 2023 23:35 3m 51s
Update the README.md with links to the generated documents. PRMinXML #53: Commit 4b983e3 pushed by gerph
September 3, 2023 23:24 3m 13s v2023-09-04
v2023-09-04
September 3, 2023 23:24 3m 13s
Update the README.md with links to the generated documents. PRMinXML #52: Commit 4b983e3 pushed by gerph
September 3, 2023 23:18 1m 45s master
master
September 3, 2023 23:18 1m 45s
Update the README.md with links to the generated documents. PRMinXML #51: Commit 4b983e3 pushed by gerph
September 3, 2023 23:13 1m 50s update-publication
update-publication
September 3, 2023 23:13 1m 50s
Update the GitHub Actions workflow to use modern actions. PRMinXML #50: Commit aec9b59 pushed by gerph
September 3, 2023 23:05 1m 9s update-publication
update-publication
September 3, 2023 23:05 1m 9s
Update the GitHub Actions workflow to use modern actions. PRMinXML #49: Commit 4437d76 pushed by gerph
September 3, 2023 23:02 1m 40s update-publication
update-publication
September 3, 2023 23:02 1m 40s
Update the GitHub Actions workflow to use modern actions. PRMinXML #48: Commit 04db91f pushed by gerph
September 3, 2023 22:56 2m 6s update-publication
update-publication
September 3, 2023 22:56 2m 6s
Update the GitHub Actions workflow to use modern actions. PRMinXML #47: Commit 69bba64 pushed by gerph
September 3, 2023 22:50 3m 28s update-publication
update-publication
September 3, 2023 22:50 3m 28s
Update the build with latest version and an index ready for GitHub pa… PRMinXML #46: Commit 9d0be0a pushed by gerph
September 3, 2023 22:33 2m 35s update-publication
update-publication
September 3, 2023 22:33 2m 35s
Update the build with latest version and an index ready for GitHub pa… PRMinXML #45: Commit 27de2d3 pushed by gerph
September 3, 2023 22:29 1m 17s update-publication
update-publication
September 3, 2023 22:29 1m 17s
Update the build with latest version and an index ready for GitHub pa… PRMinXML #44: Commit 64354d3 pushed by gerph
September 3, 2023 22:28 51s update-publication
update-publication
September 3, 2023 22:28 51s