Skip to content

Commit

Permalink
disable githubout
Browse files Browse the repository at this point in the history
  • Loading branch information
ailrst committed Feb 1, 2024
1 parent cdf943c commit 35b658b
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/run-examples.yml
Original file line number Diff line number Diff line change
Expand Up @@ -22,16 +22,16 @@ jobs:
uses: actions/checkout@v4

- name: Compile BASIL
run: mill compile >> "$GITHUB_OUTPUT"
run: mill compile

- name: Bitvec Tests
run: mill test.testOnly BitVectorAnalysisTests >> "$GITHUB_OUTPUT"
run: mill test.testOnly BitVectorAnalysisTests

- name: IntrusiveListTest
run: mill test.testOnly SystemTests IntrusiveListPublicInterfaceTests >> "$GITHUB_OUTPUT"
run: mill test.testOnly SystemTests IntrusiveListPublicInterfaceTests

- name: System Tests
run: mill test.testOnly *SystemTests -- -z basic_assign_increment/gcc_no_plt_no_pic -z basic_assign_increment/clang_no_plt_no_pic -z secret_write/gcc_no_plt_no_pic >> "$GITHUB_OUTPUT"
run: mill test.testOnly *SystemTests -- -z basic_assign_increment/gcc_no_plt_no_pic -z basic_assign_increment/clang_no_plt_no_pic -z secret_write/gcc_no_plt_no_pic



Expand Down

0 comments on commit 35b658b

Please sign in to comment.