GH Actions: Remove pull_request triggers for portability workflows

[mkoeppe]

The portability tests cannot be run on every PR.

Instead we need to run build, doc-build on every PR (just as we already run lint)

We also remove the ticket workflow; it is not needed.

Fixes sagemath/trac-to-github#157

CC: @tobiasdiez

Component: porting

Author: Matthias Koeppe

Branch/Commit: u/mkoeppe/gh_actions__remove_pull_request_triggers_for_portability_workflows @ 59033e2

Reviewer: Tobias Diez

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

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Branch: u/mkoeppe/gh_actions__remove_pull_request_triggers_for_portability_workflows

[mkoeppe]

Commit: 2958f16

[mkoeppe]

New commits:

2958f16

.github/workflows: Run build, doc-build on pull_request; do not run portability on pull_request; remove ticket.yaml

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1 +1,7 @@
 (from https://github.com/sagemath/trac-to-github/issues/157)
+
+The portability tests cannot be run on every PR.
+
+Instead we need to run `build`, `doc-build` on every PR (just as we already run `lint`)
+
+We also remove the `ticket` workflow; it is not needed.

[tobiasdiez]

comment:5

From https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request

By default, a workflow only runs when a pull_request event's activity type is opened, synchronize, or reopened.

So I think, simply having the trigger as "pull_request" should be sufficient, or not?

[tobiasdiez]

comment:6

In the docs workflow, "if: github.repository == 'sagemath/sagetrac-mirror'" needs to be removed as well.

[mkoeppe]

comment:7

Replying to Tobias Diez:

simply having the trigger as "pull_request" should be sufficient, or not?

You are right; I'll simplify it.

[sagetrac-git]

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

adf85df	.github/workflows/{build,doc-build}.yml: Use default event types for pull_request trigger
59033e2	.github/workflows/doc-build.yml: Remove check for repo sagemath/sagetrac-mirror; deploy when NETLIFY_AUTH_TOKEN is set

[sagetrac-git]

Changed commit from 2958f16 to 59033e2

[tobiasdiez]

comment:9

Looks good!

[tobiasdiez]

Reviewer: Tobias Diez

[mkoeppe]

comment:10

Thanks!