Skip to content

Actions: ftsrg/ConcurrentWitness2Test

Actions

Sonar Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sonar-check.yml
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Sonar Check #52: Commit 44680d4 pushed by github-merge-queue bot
November 27, 2024 10:16 50s main
main
November 27, 2024 10:16 50s
Sonar Check Sonar Check #51: Merge group checks requested
November 27, 2024 10:15 57s
November 27, 2024 10:15 57s
Update README.md Sonar Check #50: Commit 44680d4 pushed by github-merge-queue bot
November 27, 2024 10:15 58s gh-readonly-queue/main/pr-8-53bfa25e2150c55ab03dbf96520777fac7eb458a
gh-readonly-queue/main/pr-8-53bfa25e2150c55ab03dbf96520777fac7eb458a
November 27, 2024 10:15 58s
Update README.md Sonar Check #49: Pull request #8 opened by AdamZsofi
November 27, 2024 10:14 48s readme-update
readme-update
November 27, 2024 10:14 48s
Update README.md Sonar Check #48: Commit 958fd34 pushed by AdamZsofi
November 27, 2024 10:13 49s readme-update
readme-update
November 27, 2024 10:13 49s
reformat witness2ast Sonar Check #47: Commit 53bfa25 pushed by github-merge-queue bot
November 10, 2024 18:18 51s main
main
November 10, 2024 18:18 51s
Sonar Check Sonar Check #46: Merge group checks requested
November 10, 2024 18:17 53s
November 10, 2024 18:17 53s
reformat witness2ast Sonar Check #45: Commit 53bfa25 pushed by github-merge-queue bot
November 10, 2024 18:17 1m 4s gh-readonly-queue/main/pr-7-1d63d1237979dfbb5607c79f239b8d1c4abe7a14
gh-readonly-queue/main/pr-7-1d63d1237979dfbb5607c79f239b8d1c4abe7a14
November 10, 2024 18:17 1m 4s
Support for witness assumptions made to assignments of non-deterministic values (partially) Sonar Check #44: Pull request #7 synchronize by AdamZsofi
November 8, 2024 13:29 1m 6s nondet-value-support
nondet-value-support
November 8, 2024 13:29 1m 6s
reformat witness2ast Sonar Check #43: Commit 382c216 pushed by AdamZsofi
November 8, 2024 13:29 50s nondet-value-support
nondet-value-support
November 8, 2024 13:29 50s
Support for witness assumptions made to assignments of non-deterministic values (partially) Sonar Check #42: Pull request #7 opened by AdamZsofi
November 8, 2024 13:28 44s nondet-value-support
nondet-value-support
November 8, 2024 13:28 44s
assumptions at nondet assignments now supported Sonar Check #41: Commit 5f69b33 pushed by AdamZsofi
November 8, 2024 13:22 47s nondet-value-support
nondet-value-support
November 8, 2024 13:22 47s
collect assumption values for nondet assignments Sonar Check #40: Commit 36cbd29 pushed by AdamZsofi
November 7, 2024 16:40 47s nondet-value-support
nondet-value-support
November 7, 2024 16:40 47s
header and declaration updates for generated test Sonar Check #39: Commit 444f023 pushed by AdamZsofi
November 7, 2024 16:31 47s nondet-value-support
nondet-value-support
November 7, 2024 16:31 47s
reformat Sonar Check #38: Commit 1d63d12 pushed by github-merge-queue bot
November 3, 2024 20:36 50s main
main
November 3, 2024 20:36 50s
Sonar Check Sonar Check #37: Merge group checks requested
November 3, 2024 20:35 1m 1s
November 3, 2024 20:35 1m 1s
reformat Sonar Check #36: Commit 1d63d12 pushed by github-merge-queue bot
November 3, 2024 20:35 47s gh-readonly-queue/main/pr-5-20d09499cbcff160cdd8086ecc7d4f02a0d197c3
gh-readonly-queue/main/pr-5-20d09499cbcff160cdd8086ecc7d4f02a0d197c3
November 3, 2024 20:35 47s
Update main.py Sonar Check #35: Pull request #5 synchronize by AdamZsofi
November 3, 2024 20:34 49s version-format-patch
version-format-patch
November 3, 2024 20:34 49s
reformat Sonar Check #34: Commit 91153f7 pushed by AdamZsofi
November 3, 2024 20:34 47s version-format-patch
version-format-patch
November 3, 2024 20:34 47s
Update main.py Sonar Check #33: Pull request #5 opened by AdamZsofi
November 3, 2024 20:32 44s version-format-patch
version-format-patch
November 3, 2024 20:32 44s
Update main.py Sonar Check #32: Commit bcca522 pushed by AdamZsofi
November 3, 2024 20:32 55s version-format-patch
version-format-patch
November 3, 2024 20:32 55s
Update requirements.txt Sonar Check #31: Commit 20d0949 pushed by github-merge-queue bot
November 3, 2024 19:33 1m 4s main
main
November 3, 2024 19:33 1m 4s
Sonar Check Sonar Check #30: Merge group checks requested
November 3, 2024 19:32 57s
November 3, 2024 19:32 57s
Update requirements.txt Sonar Check #29: Commit 20d0949 pushed by github-merge-queue bot
November 3, 2024 19:32 1m 5s gh-readonly-queue/main/pr-4-abd56000ada43ab16e3f2e919b30f54bf9a4564d
gh-readonly-queue/main/pr-4-abd56000ada43ab16e3f2e919b30f54bf9a4564d
November 3, 2024 19:32 1m 5s
Update requirements.txt Sonar Check #28: Pull request #4 opened by AdamZsofi
November 3, 2024 19:31 46s requirements-patch-2
requirements-patch-2
November 3, 2024 19:31 46s