Merge pull request 'lldwdwaasfgasgdsgffdshgsd' (#91) from develop-new into master

Reviewed-on: #91

.gitea/workflows/pr-closed.yml

@@ -0,0 +1,14 @@
+name: build-develop-branch
+run-name: ${{ github.actor }} is learning GitHub Actions
+on:
+  pull_request:
+    types:
+      - closed
+
+jobs:
+  if_merged:
+    if: github.event.pull_request.merged == true
+    runs-on: ubuntu-latest
+    steps:
+    - run: |
+        echo The PR was merged