Skip to content

Actions: UnitTestBot/klee

Actions

Differential ShellCheck

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
differential-shellcheck.yml
339 workflow runs
339 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Get rid of the testcases spamming mode Differential ShellCheck #240: Pull request #187 opened by misonijnik
July 4, 2024 11:24 10m 28s misonijnik/get-rid-of-testcase-spammer
misonijnik/get-rid-of-testcase-spammer
July 4, 2024 11:24 10m 28s
Add options to store and rerun execution states during run Differential ShellCheck #239: Pull request #182 synchronize by dim8art
July 2, 2024 23:26 22s dim8art:RunSEForever
dim8art:RunSEForever
July 2, 2024 23:26 22s
Add options to store and rerun execution states during run Differential ShellCheck #238: Pull request #182 synchronize by dim8art
July 2, 2024 21:59 25s dim8art:RunSEForever
dim8art:RunSEForever
July 2, 2024 21:59 25s
fix: Fix naming for coverage-related files (#186) Differential ShellCheck #237: Commit 66ed140 pushed by misonijnik
July 2, 2024 17:11 10m 25s main
main
July 2, 2024 17:11 10m 25s
fix: Fix naming for coverage related files Differential ShellCheck #236: Pull request #186 synchronize by misonijnik
July 2, 2024 15:25 11m 39s misonijnik/fix-gcno-naming
misonijnik/fix-gcno-naming
July 2, 2024 15:25 11m 39s
fix: Fix naming for coverage related files Differential ShellCheck #235: Pull request #186 opened by misonijnik
July 2, 2024 15:05 25s misonijnik/fix-gcno-naming
misonijnik/fix-gcno-naming
July 2, 2024 15:05 25s
Taint analysis Differential ShellCheck #234: Pull request #184 synchronize by mamaria-k
June 11, 2024 02:40 10m 6s mamaria-k/taint-analysis-rebase
mamaria-k/taint-analysis-rebase
June 11, 2024 02:40 10m 6s
Taint analysis Differential ShellCheck #233: Pull request #184 synchronize by mamaria-k
June 10, 2024 19:50 24s mamaria-k/taint-analysis-rebase
mamaria-k/taint-analysis-rebase
June 10, 2024 19:50 24s
Taint analysis Differential ShellCheck #232: Pull request #184 synchronize by mamaria-k
June 10, 2024 17:55 22s mamaria-k/taint-analysis-rebase
mamaria-k/taint-analysis-rebase
June 10, 2024 17:55 22s
Taint analysis Differential ShellCheck #231: Pull request #184 synchronize by mamaria-k
June 10, 2024 12:02 24s mamaria-k/taint-analysis-rebase
mamaria-k/taint-analysis-rebase
June 10, 2024 12:02 24s
Taint analysis Differential ShellCheck #230: Pull request #184 synchronize by mamaria-k
June 10, 2024 10:01 9m 40s mamaria-k/taint-analysis-rebase
mamaria-k/taint-analysis-rebase
June 10, 2024 10:01 9m 40s
ci: Fix cirrus ci Differential ShellCheck #229: Commit fe6e14d pushed by misonijnik
June 4, 2024 23:50 48s main
main
June 4, 2024 23:50 48s
fix: Fix macOS CI failures Differential ShellCheck #228: Pull request #185 synchronize by misonijnik
June 4, 2024 21:27 49s misonijnik/macos-fix
misonijnik/macos-fix
June 4, 2024 21:27 49s
fix: Fix macOS CI failures Differential ShellCheck #227: Pull request #185 synchronize by misonijnik
June 4, 2024 21:24 27s misonijnik/macos-fix
misonijnik/macos-fix
June 4, 2024 21:24 27s
fix: Fix macOS CI failures Differential ShellCheck #226: Pull request #185 synchronize by misonijnik
June 4, 2024 21:03 28s misonijnik/macos-fix
misonijnik/macos-fix
June 4, 2024 21:03 28s
fix: Fix macOS CI failures Differential ShellCheck #225: Pull request #185 synchronize by misonijnik
June 4, 2024 20:45 24s misonijnik/macos-fix
misonijnik/macos-fix
June 4, 2024 20:45 24s
fix: Fix macOS CI failures Differential ShellCheck #224: Pull request #185 opened by misonijnik
June 4, 2024 20:42 25s misonijnik/macos-fix
misonijnik/macos-fix
June 4, 2024 20:42 25s
Taint analysis Differential ShellCheck #223: Pull request #184 synchronize by mamaria-k
May 27, 2024 17:21 25s mamaria-k/taint-analysis-rebase
mamaria-k/taint-analysis-rebase
May 27, 2024 17:21 25s
Add options to store and rerun execution states during run Differential ShellCheck #222: Pull request #182 synchronize by dim8art
May 26, 2024 16:02 33s dim8art:RunSEForever
dim8art:RunSEForever
May 26, 2024 16:02 33s
Add options to store and rerun execution states during run Differential ShellCheck #221: Pull request #182 synchronize by dim8art
May 26, 2024 15:50 33s dim8art:RunSEForever
dim8art:RunSEForever
May 26, 2024 15:50 33s
Taint analysis Differential ShellCheck #220: Pull request #184 synchronize by mamaria-k
May 26, 2024 14:58 25s mamaria-k/taint-analysis-rebase
mamaria-k/taint-analysis-rebase
May 26, 2024 14:58 25s
Taint analysis Differential ShellCheck #219: Pull request #184 synchronize by mamaria-k
May 26, 2024 14:22 28s mamaria-k/taint-analysis-rebase
mamaria-k/taint-analysis-rebase
May 26, 2024 14:22 28s
Taint analysis Differential ShellCheck #218: Pull request #184 opened by mamaria-k
May 25, 2024 23:27 26s mamaria-k/taint-analysis-rebase
mamaria-k/taint-analysis-rebase
May 25, 2024 23:27 26s
Add options to store and rerun execution states during run Differential ShellCheck #217: Pull request #182 synchronize by dim8art
May 25, 2024 19:17 28s dim8art:RunSEForever
dim8art:RunSEForever
May 25, 2024 19:17 28s
Add options to store and rerun execution states during run Differential ShellCheck #216: Pull request #182 synchronize by dim8art
May 25, 2024 19:12 28s dim8art:RunSEForever
dim8art:RunSEForever
May 25, 2024 19:12 28s