Compare commits
No commits in common. "1e057f093188fbfdc4e43a23772921892b04c8d4" and "7b02cb15462a204fa8a7baf7936cda77ccf9a013" have entirely different histories.
1e057f0931
...
7b02cb1546
12
.github/workflows/webhook.yaml
vendored
12
.github/workflows/webhook.yaml
vendored
@ -1,12 +0,0 @@
|
||||
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.
Before Width: | Height: | Size: 42 KiB |
Binary file not shown.
Before Width: | Height: | Size: 52 KiB |
Binary file not shown.
Before Width: | Height: | Size: 7.0 KiB |
Loading…
x
Reference in New Issue
Block a user