Compare commits

..

No commits in common. "1e057f093188fbfdc4e43a23772921892b04c8d4" and "7b02cb15462a204fa8a7baf7936cda77ccf9a013" have entirely different histories.

4 changed files with 0 additions and 12 deletions

View File

@ -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