Compare commits
15 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 1e057f0931 | |||
| e8b5d18e92 | |||
| 3cec58da9b | |||
| e8bb54b0d7 | |||
| 03eeb4b120 | |||
| 668027bf93 | |||
| 4d6de553ab | |||
| cbfe42794b | |||
| 80dfa3ac0b | |||
| 4e1547aad3 | |||
| 217eb69a33 | |||
| 1d6f90d3df | |||
| 858c9cb3c6 | |||
| 1c8951591e | |||
| 1995ba0e7b |
@@ -0,0 +1,12 @@
|
||||
name: Push changes to upstream subtree
|
||||
on: [push]
|
||||
|
||||
jobs:
|
||||
trigger-index-workflow:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- run: |
|
||||
curl -X POST -H "Authorization: token ${{ secrets.GH_WORKFLOW_PAT }}" -H "Content-Type: application/json" \
|
||||
https://api.github.com/repos/infogulch/index/dispatches \
|
||||
-d '{"event_type": "notebooks_push"}'
|
||||
|
||||
Binary file not shown.
|
After Width: | Height: | Size: 42 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 52 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 7.0 KiB |
Reference in New Issue
Block a user