rdfjs · danielbeeke · Oct 15, 2023
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -17,6 +17,7 @@ jobs:
       - run: python3 -m pip install --upgrade bikeshed && bikeshed update
       - run: mkdir public
       - run: bikeshed spec index.bs public/index.html
+      - run: cp images public/images
       - uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}

diff --git a/images/editors/AutoCompleteEditor.png b/images/editors/AutoCompleteEditor.png
diff --git a/images/editors/BooleanSelectEditor.png b/images/editors/BooleanSelectEditor.png
diff --git a/images/editors/DatePickerEditor.png b/images/editors/DatePickerEditor.png
diff --git a/images/editors/DateTimePickerEditor.png b/images/editors/DateTimePickerEditor.png
diff --git a/images/editors/DetailsEditor.png b/images/editors/DetailsEditor.png
diff --git a/images/editors/EditorSelector.png b/images/editors/EditorSelector.png
diff --git a/images/editors/EnumSelectEditor.png b/images/editors/EnumSelectEditor.png
diff --git a/images/editors/RichTextEditor.png b/images/editors/RichTextEditor.png
diff --git a/images/editors/TextAreaEditor.png b/images/editors/TextAreaEditor.png
diff --git a/images/editors/TextAreaWithLangEditor.png b/images/editors/TextAreaWithLangEditor.png
diff --git a/images/editors/TextFieldEditor.png b/images/editors/TextFieldEditor.png
diff --git a/images/editors/TextFieldWithLangEditor.png b/images/editors/TextFieldWithLangEditor.png
diff --git a/images/editors/URIEditor.png b/images/editors/URIEditor.png
diff --git a/images/viewers/ValueTableViewer.png b/images/viewers/ValueTableViewer.png
diff --git a/index.bs b/index.bs