Skip to content

Actions: ftsrg/ConcurrentWitness2Test

Actions

Build-Test-Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-build-test-deploy.yml
64 workflow runs
64 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
Build-Test-Deploy Build-Test-Deploy #151: Manually run by leventeBajczi
47m 26s main
main
47m 26s
Black Build-Test-Deploy #150: Commit 80bfd60 pushed by github-merge-queue Bot
2m 8s main
main
2m 8s
Build-Test-Deploy Build-Test-Deploy #149: Merge group checks requested
2m 11s
2m 11s
Black Build-Test-Deploy #148: Commit 80bfd60 pushed by github-merge-queue Bot
1s gh-readonly-queue/main/pr-12-78a6bad0979c10a7996193dacbeb191f1501a5f6
gh-readonly-queue/main/pr-12-78a6bad0979c10a7996193dacbeb191f1501a5f6
1s
Yaml witness Build-Test-Deploy #147: Pull request #12 synchronize by leventeBajczi
46m 34s yaml-witness
yaml-witness
46m 34s
Black Build-Test-Deploy #146: Commit 4e86344 pushed by leventeBajczi
2m 0s yaml-witness
yaml-witness
2m 0s
Yaml witness Build-Test-Deploy #145: Pull request #12 synchronize by leventeBajczi
1m 41s yaml-witness
yaml-witness
1m 41s
Added memsafety verification Build-Test-Deploy #144: Commit 81d9686 pushed by leventeBajczi
1m 39s yaml-witness
yaml-witness
1m 39s
Added memsafety verification Build-Test-Deploy #143: Commit 52fc971 pushed by leventeBajczi
1m 14s yaml-witness
yaml-witness
1m 14s
Fixed function_Return Build-Test-Deploy #142: Commit 8529ffc pushed by leventeBajczi
45m 30s yaml-witness
yaml-witness
45m 30s
Fixed instrumenting brace-less iteration/branching stmts Build-Test-Deploy #141: Commit 7ac5151 pushed by leventeBajczi
46m 55s yaml-witness
yaml-witness
46m 55s
Updated nondet instrumentation Build-Test-Deploy #140: Commit c715ba1 pushed by leventeBajczi
46m 3s yaml-witness
yaml-witness
46m 3s
added logging, fixed prototype Build-Test-Deploy #139: Commit 28f3cd8 pushed by leventeBajczi
47m 13s yaml-witness
yaml-witness
47m 13s
updated pthread_exit and yield/release Build-Test-Deploy #138: Commit 6b8689f pushed by leventeBajczi
32m 14s yaml-witness
yaml-witness
32m 14s
Added INPUT_ONLY mode Build-Test-Deploy #137: Commit 6b4b2f9 pushed by leventeBajczi
46m 1s yaml-witness
yaml-witness
46m 1s
updated logic to validate concurrent witnesses Build-Test-Deploy #136: Commit f09338e pushed by leventeBajczi
45m 56s yaml-witness
yaml-witness
45m 56s
fixed headers for clang Build-Test-Deploy #135: Commit 78a6bad pushed by leventeBajczi
46m 42s main
main
46m 42s
Updated sonar Build-Test-Deploy #134: Commit cb367b0 pushed by leventeBajczi
12m 19s main
main
12m 19s
Initial commit for yaml witnesses Build-Test-Deploy #133: Pull request #11 synchronize by leventeBajczi
46m 2s yaml-witness
yaml-witness
46m 2s
Updated sonar Build-Test-Deploy #132: Commit a19d02a pushed by leventeBajczi
2m 7s yaml-witness
yaml-witness
2m 7s
Initial commit for yaml witnesses Build-Test-Deploy #131: Pull request #11 synchronize by leventeBajczi
7m 29s yaml-witness
yaml-witness
7m 29s
black Build-Test-Deploy #130: Commit bae1655 pushed by leventeBajczi
7m 40s yaml-witness
yaml-witness
7m 40s
Initial commit for yaml witnesses Build-Test-Deploy #129: Pull request #11 synchronize by leventeBajczi
54s yaml-witness
yaml-witness
54s
black Build-Test-Deploy #128: Commit 546572f pushed by leventeBajczi
1m 6s yaml-witness
yaml-witness
1m 6s
Initial commit for yaml witnesses Build-Test-Deploy #127: Pull request #11 synchronize by leventeBajczi
50s yaml-witness
yaml-witness
50s