Fix logging formatting and update logs

This commit is contained in:
Michael Hohn
2024-02-21 11:59:32 -08:00
committed by =Michael Hohn
parent 26e2aa28e7
commit 22fba84261
6 changed files with 1712 additions and 1540 deletions

View File

@@ -135,10 +135,7 @@
3. Submit the mrva job
#+BEGIN_SRC sh
cd ~/local/gh-mrva
./gh-mrva submit --help
./gh-mrva submit --language cpp --session mirva-session-71 \
./gh-mrva submit --language cpp --session mirva-session-73 \
--list mirva-list \
--query /Users/hohn/local/gh-mrva/FlatBuffersFunc.ql
#+END_SRC
@@ -148,16 +145,16 @@
cd ~/local/gh-mrva
# Check the status
./gh-mrva status --session mirva-session-71
./gh-mrva status --session mirva-session-73
# Download the sarif files when finished
./gh-mrva download --session mirva-session-71 \
--output-dir mirva-session-71
./gh-mrva download --session mirva-session-73 \
--output-dir mirva-session-73
# Download the sarif files and CodeQL dbs when finished
./gh-mrva download --session mirva-session-71 \
./gh-mrva download --session mirva-session-73 \
--download-dbs \
--output-dir mirva-session-71
--output-dir mirva-session-73
#+END_SRC
* Miscellaneous Notes