Skip to content

Actions: ftsrg/ConcurrentWitness2Test

Actions

Black Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
black-check.yml
57 workflow runs
57 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Black Black Check #111: Commit 80bfd60 pushed by github-merge-queue Bot
12s main
main
12s
Black Check Black Check #110: Merge group checks requested
12s
12s
Black Black Check #109: Commit 80bfd60 pushed by github-merge-queue Bot
13s gh-readonly-queue/main/pr-12-78a6bad0979c10a7996193dacbeb191f1501a5f6
gh-readonly-queue/main/pr-12-78a6bad0979c10a7996193dacbeb191f1501a5f6
13s
Yaml witness Black Check #108: Pull request #12 synchronize by leventeBajczi
13s yaml-witness
yaml-witness
13s
Black Black Check #107: Commit 4e86344 pushed by leventeBajczi
14s yaml-witness
yaml-witness
14s
Yaml witness Black Check #106: Pull request #12 synchronize by leventeBajczi
10s yaml-witness
yaml-witness
10s
Added memsafety verification Black Check #105: Commit 81d9686 pushed by leventeBajczi
13s yaml-witness
yaml-witness
13s
Added memsafety verification Black Check #104: Commit 52fc971 pushed by leventeBajczi
12s yaml-witness
yaml-witness
12s
Fixed function_Return Black Check #103: Commit 8529ffc pushed by leventeBajczi
16s yaml-witness
yaml-witness
16s
Fixed instrumenting brace-less iteration/branching stmts Black Check #102: Commit 7ac5151 pushed by leventeBajczi
14s yaml-witness
yaml-witness
14s
Updated nondet instrumentation Black Check #101: Commit c715ba1 pushed by leventeBajczi
12s yaml-witness
yaml-witness
12s
added logging, fixed prototype Black Check #100: Commit 28f3cd8 pushed by leventeBajczi
16s yaml-witness
yaml-witness
16s
updated pthread_exit and yield/release Black Check #99: Commit 6b8689f pushed by leventeBajczi
14s yaml-witness
yaml-witness
14s
Added INPUT_ONLY mode Black Check #98: Commit 6b4b2f9 pushed by leventeBajczi
11s yaml-witness
yaml-witness
11s
updated logic to validate concurrent witnesses Black Check #97: Commit f09338e pushed by leventeBajczi
14s yaml-witness
yaml-witness
14s
fixed headers for clang Black Check #96: Commit 78a6bad pushed by leventeBajczi
10s main
main
10s
Updated sonar Black Check #95: Commit cb367b0 pushed by leventeBajczi
13s main
main
13s
Initial commit for yaml witnesses Black Check #94: Pull request #11 synchronize by leventeBajczi
11s yaml-witness
yaml-witness
11s
Updated sonar Black Check #93: Commit a19d02a pushed by leventeBajczi
10s yaml-witness
yaml-witness
10s
Initial commit for yaml witnesses Black Check #92: Pull request #11 synchronize by leventeBajczi
14s yaml-witness
yaml-witness
14s
black Black Check #91: Commit bae1655 pushed by leventeBajczi
16s yaml-witness
yaml-witness
16s
Initial commit for yaml witnesses Black Check #90: Pull request #11 synchronize by leventeBajczi
12s yaml-witness
yaml-witness
12s
black Black Check #89: Commit 546572f pushed by leventeBajczi
15s yaml-witness
yaml-witness
15s
Initial commit for yaml witnesses Black Check #88: Pull request #11 synchronize by leventeBajczi
10s yaml-witness
yaml-witness
10s
added worfklow Black Check #87: Commit 59d4718 pushed by leventeBajczi
12s yaml-witness
yaml-witness
12s