diff options
| author | Jo-Philipp Wich <jo@mein.io> | 2023-10-09 16:20:07 +0200 |
|---|---|---|
| committer | Jo-Philipp Wich <jo@mein.io> | 2023-10-09 16:20:07 +0200 |
| commit | 8700665099c7d502c43af9e3abe55ba181495145 (patch) | |
| tree | 4ffbf4190f7a6fdef065e64e4268adf9434205ce /docs/tutorials/03-memory.md | |
| parent | 7c209d736907e18ec8d79a57328c1e3bad7b2786 (diff) | |
ci: don't skip pull request workflows for `master` branch
We want pull request workflows to run, even if the source branch happens
to be `master` from a forked repository.
Signed-off-by: Jo-Philipp Wich <jo@mein.io>
Diffstat (limited to 'docs/tutorials/03-memory.md')
0 files changed, 0 insertions, 0 deletions