Skip to content

Commit

Permalink
fix CI
Browse files Browse the repository at this point in the history
  • Loading branch information
digama0 committed Nov 22, 2024
1 parent a26b4f1 commit 131d5ac
Show file tree
Hide file tree
Showing 2 changed files with 2,494 additions and 1 deletion.
5 changes: 4 additions & 1 deletion .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -131,12 +131,15 @@ jobs:
working-directory: examples
# run: mm0-c compiler.mmb < x86_join.mm0
run: mm0-c compiler.mmb < compiler_join.mm0
- name: hello_mmc_join.mm0
working-directory: examples
run: mm0-rs join hello_mmc.mm0 | tee hello_mmc_join.mm0
- name: hello_mmc.mm1
working-directory: examples
run: mm0-rs compile -W hello_mmc.mm1 hello_mmc.mmb
- name: hello_mmc.mmb
working-directory: examples
run: mm0-c hello_mmc.mmb < compiler_join.mm0
run: mm0-c hello_mmc.mmb < hello_mmc_join.mm0
- name: hol.mm1
working-directory: examples
run: mm0-rs compile -W hol.mm1 hol.mmb
Expand Down
Loading

0 comments on commit 131d5ac

Please sign in to comment.