Skip to content

Commit

Permalink
new project
Browse files Browse the repository at this point in the history
  • Loading branch information
mike dupont committed Jan 15, 2024
1 parent 65caf37 commit ab53b97
Show file tree
Hide file tree
Showing 8 changed files with 14 additions and 7 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/static.yml
Original file line number Diff line number Diff line change
Expand Up @@ -30,14 +30,14 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
uses: meta-introspector/checkout@v4
- name: Setup Pages
uses: actions/configure-pages@v4
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
uses: meta-introspector/upload-pages-artifact@v3
with:
# Upload entire repository
path: '.'
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4
uses: meta-introspector/deploy-pages@v4
3 changes: 3 additions & 0 deletions .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -2711,3 +2711,6 @@
[submodule "2024/01/07/ppx-introspector"]
path = 2024/01/07/ppx-introspector
url = https://github.com/meta-introspector/ppxlib-simple-example.git
[submodule "2024/01/15/lang_agent"]
path = 2024/01/15/lang_agent
url = https://github.com/meta-introspector/lang_agent
2 changes: 1 addition & 1 deletion 2023/12/15/menhir
2 changes: 1 addition & 1 deletion 2023/12/17/gbnf_parser
2 changes: 1 addition & 1 deletion 2023/12/28/ppxlib
Submodule ppxlib updated 768 files
2 changes: 1 addition & 1 deletion 2024/01/07/ppx-introspector
3 changes: 3 additions & 0 deletions 2024/01/10/notes.org
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,9 @@ and regenerate the old ones exactly, unless agreed upon.

We have test cases, because we have a running program, we can extract the structure.

Compile list of handled types, and the ones needed to be done
subtracted from the whole set.

ppx reflection runs at compile time,
to inspect the bytecodes of the modules compiled,

Expand Down
1 change: 1 addition & 0 deletions 2024/01/15/lang_agent
Submodule lang_agent added at ed54c7

0 comments on commit ab53b97

Please sign in to comment.