Skip to content

Commit

Permalink
Deploy the generated website via GitHub Actions
Browse files Browse the repository at this point in the history
  • Loading branch information
actions-user committed Aug 15, 2024
1 parent 8883e2c commit 8631fa1
Show file tree
Hide file tree
Showing 7 changed files with 138 additions and 138 deletions.
74 changes: 37 additions & 37 deletions Glossary.html

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion News.xml

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Website last update: 2024-08-13 at 08:22:21.
Website last update: 2024-08-15 at 10:49:28.
Binary file modified bundle.zip
Binary file not shown.
2 changes: 1 addition & 1 deletion search/search_index.json

Large diffs are not rendered by default.

Loading

0 comments on commit 8631fa1

Please sign in to comment.