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
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Build-Test-Deploy #87: Commit 44680d4 pushed by github-merge-queue bot
November 27, 2024 10:16 48m 24s main
main
November 27, 2024 10:16 48m 24s
Build-Test-Deploy Build-Test-Deploy #86: Merge group checks requested
November 27, 2024 10:15 1m 34s
November 27, 2024 10:15 1m 34s
Update README.md Build-Test-Deploy #85: Commit 44680d4 pushed by github-merge-queue bot
November 27, 2024 10:15 4s gh-readonly-queue/main/pr-8-53bfa25e2150c55ab03dbf96520777fac7eb458a
gh-readonly-queue/main/pr-8-53bfa25e2150c55ab03dbf96520777fac7eb458a
November 27, 2024 10:15 4s
Update README.md Build-Test-Deploy #84: Pull request #8 opened by AdamZsofi
November 27, 2024 10:14 40m 32s readme-update
readme-update
November 27, 2024 10:14 40m 32s
Update README.md Build-Test-Deploy #83: Commit 958fd34 pushed by AdamZsofi
November 27, 2024 10:13 1m 29s readme-update
readme-update
November 27, 2024 10:13 1m 29s
reformat witness2ast Build-Test-Deploy #82: Commit 53bfa25 pushed by github-merge-queue bot
November 10, 2024 18:18 40m 41s main
main
November 10, 2024 18:18 40m 41s
Build-Test-Deploy Build-Test-Deploy #81: Merge group checks requested
November 10, 2024 18:17 1m 43s
November 10, 2024 18:17 1m 43s
reformat witness2ast Build-Test-Deploy #80: Commit 53bfa25 pushed by github-merge-queue bot
November 10, 2024 18:17 3s gh-readonly-queue/main/pr-7-1d63d1237979dfbb5607c79f239b8d1c4abe7a14
gh-readonly-queue/main/pr-7-1d63d1237979dfbb5607c79f239b8d1c4abe7a14
November 10, 2024 18:17 3s
Support for witness assumptions made to assignments of non-deterministic values (partially) Build-Test-Deploy #79: Pull request #7 synchronize by AdamZsofi
November 8, 2024 13:29 40m 31s nondet-value-support
nondet-value-support
November 8, 2024 13:29 40m 31s
reformat witness2ast Build-Test-Deploy #78: Commit 382c216 pushed by AdamZsofi
November 8, 2024 13:29 2m 1s nondet-value-support
nondet-value-support
November 8, 2024 13:29 2m 1s
Support for witness assumptions made to assignments of non-deterministic values (partially) Build-Test-Deploy #77: Pull request #7 opened by AdamZsofi
November 8, 2024 13:28 1m 0s nondet-value-support
nondet-value-support
November 8, 2024 13:28 1m 0s
assumptions at nondet assignments now supported Build-Test-Deploy #76: Commit 5f69b33 pushed by AdamZsofi
November 8, 2024 13:23 6m 25s nondet-value-support
nondet-value-support
November 8, 2024 13:23 6m 25s
collect assumption values for nondet assignments Build-Test-Deploy #75: Commit 36cbd29 pushed by AdamZsofi
November 7, 2024 16:40 41m 44s nondet-value-support
nondet-value-support
November 7, 2024 16:40 41m 44s
header and declaration updates for generated test Build-Test-Deploy #74: Commit 444f023 pushed by AdamZsofi
November 7, 2024 16:31 9m 15s nondet-value-support
nondet-value-support
November 7, 2024 16:31 9m 15s
reformat Build-Test-Deploy #73: Commit 1d63d12 pushed by github-merge-queue bot
November 3, 2024 20:36 41m 23s main
main
November 3, 2024 20:36 41m 23s
Build-Test-Deploy Build-Test-Deploy #72: Merge group checks requested
November 3, 2024 20:35 40m 32s
November 3, 2024 20:35 40m 32s
reformat Build-Test-Deploy #71: Commit 1d63d12 pushed by github-merge-queue bot
November 3, 2024 20:35 3s gh-readonly-queue/main/pr-5-20d09499cbcff160cdd8086ecc7d4f02a0d197c3
gh-readonly-queue/main/pr-5-20d09499cbcff160cdd8086ecc7d4f02a0d197c3
November 3, 2024 20:35 3s
Update main.py Build-Test-Deploy #70: Pull request #5 synchronize by AdamZsofi
November 3, 2024 20:34 41m 22s version-format-patch
version-format-patch
November 3, 2024 20:34 41m 22s
reformat Build-Test-Deploy #69: Commit 91153f7 pushed by AdamZsofi
November 3, 2024 20:34 1m 19s version-format-patch
version-format-patch
November 3, 2024 20:34 1m 19s
Update main.py Build-Test-Deploy #68: Pull request #5 opened by AdamZsofi
November 3, 2024 20:32 2m 6s version-format-patch
version-format-patch
November 3, 2024 20:32 2m 6s
Update main.py Build-Test-Deploy #67: Commit bcca522 pushed by AdamZsofi
November 3, 2024 20:32 2m 11s version-format-patch
version-format-patch
November 3, 2024 20:32 2m 11s
Update requirements.txt Build-Test-Deploy #66: Commit 20d0949 pushed by github-merge-queue bot
November 3, 2024 19:33 40m 38s main
main
November 3, 2024 19:33 40m 38s
Build-Test-Deploy Build-Test-Deploy #65: Merge group checks requested
November 3, 2024 19:32 4s
November 3, 2024 19:32 4s
Update requirements.txt Build-Test-Deploy #64: Commit 20d0949 pushed by github-merge-queue bot
November 3, 2024 19:32 1m 37s gh-readonly-queue/main/pr-4-abd56000ada43ab16e3f2e919b30f54bf9a4564d
gh-readonly-queue/main/pr-4-abd56000ada43ab16e3f2e919b30f54bf9a4564d
November 3, 2024 19:32 1m 37s
Update requirements.txt Build-Test-Deploy #63: Pull request #4 opened by AdamZsofi
November 3, 2024 19:31 41m 19s requirements-patch-2
requirements-patch-2
November 3, 2024 19:31 41m 19s