Dispatch mmtk-dev-env workflow (#397)

* Dispatch workflow to mmtk-dev-env and wait

* Trigger workflow from a branch

* Use mmtk-dev-env main. Check every 30s

* Change the workflow trigger to pushing to master.

Author: qinsoon

.github/workflows/mmtk-dev-env.yml

@@ -0,0 +1,25 @@
+name: Check mmtk-dev-env
+
+# Triggerred when a new commit is pushed to master
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  # Trigger ci.yml from mmtk/mmtk-dev-env to make sure mmtk-core can build with mmtk-dev-env.
+  check-mmtk-dev-env:
+    runs-on: ubuntu-18.04
+    steps:
+      - uses: convictional/[email protected]
+        with:
+          owner: mmtk
+          repo: mmtk-dev-env
+          github_token: ${{ secrets.CI_ACCESS_TOKEN }}
+          workflow_file_name: ci.yml
+          ref: main
+          wait_interval: 30
+          inputs: '{}'
+          propagate_failure: true
+          trigger_workflow: true
+          wait_workflow: true