Skip to content

Actions: paulhuggett/saturation

SonarCloud

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use clang(-tidy)-15.
SonarCloud #160: Commit 193c4b0 pushed by paulhuggett
May 2, 2024 16:09 1m 12s main
May 2, 2024 16:09 1m 12s
Remove the doxygen html output.
SonarCloud #159: Commit 619251c pushed by paulhuggett
May 2, 2024 16:01 1m 20s main
May 2, 2024 16:01 1m 20s
Correct the name of the sonar token secret.
SonarCloud #158: Commit 41dbcb9 pushed by paulhuggett
May 2, 2024 14:18 4m 28s main
May 2, 2024 14:18 4m 28s
Checkout submodules.
SonarCloud #157: Commit f2e2f7f pushed by paulhuggett
May 2, 2024 14:08 4m 16s main
May 2, 2024 14:08 4m 16s
New SonarCloud action code.
SonarCloud #156: Commit 14e9d52 pushed by paulhuggett
May 2, 2024 14:06 23s main
May 2, 2024 14:06 23s
Update compilers.
SonarCloud #155: Commit c19b7c5 pushed by paulhuggett
May 2, 2024 12:00 1m 26s main
May 2, 2024 12:00 1m 26s
Update to KLEE 3.0
SonarCloud #154: Commit 8d48df6 pushed by paulhuggett
May 2, 2024 11:56 1m 21s main
May 2, 2024 11:56 1m 21s