Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,477 workflow runs
6,477 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix highlighting Linux build-test-deploy #3465: Pull request #476 opened by koppor
Action required koppor:patch-1
koppor:patch-1
Action required
Fix highlighting Windows build and test #3350: Pull request #476 opened by koppor
Action required koppor:patch-1
koppor:patch-1
Action required
Fix highlighting Check formatting #3350: Pull request #476 opened by koppor
Action required koppor:patch-1
koppor:patch-1
Action required
Fix highlighting macOS build and test #3350: Pull request #476 opened by koppor
Action required koppor:patch-1
koppor:patch-1
Action required
Fix highlighting Check copyright #3406: Pull request #476 opened by koppor
Action required koppor:patch-1
koppor:patch-1
Action required
Fix highlighting Check version #1591: Pull request #476 opened by koppor
Action required koppor:patch-1
koppor:patch-1
Action required
Fix highlighting Sonar analysis #3599: Pull request #476 opened by koppor
28s
28s
Merge pull request #465 from ftsrg/concurrency-violation-witness-fix Linux build-test-deploy #3464: Commit cd209ec pushed by leventeBajczi
31m 46s svcomp26
svcomp26
31m 46s
Merge pull request #465 from ftsrg/concurrency-violation-witness-fix Sonar analysis #3598: Commit cd209ec pushed by leventeBajczi
18m 59s svcomp26
svcomp26
18m 59s
Merge pull request #465 from ftsrg/concurrency-violation-witness-fix Check copyright #3405: Commit cd209ec pushed by leventeBajczi
26s svcomp26
svcomp26
26s
Merge pull request #465 from ftsrg/concurrency-violation-witness-fix Windows build and test #3349: Commit cd209ec pushed by leventeBajczi
22m 4s svcomp26
svcomp26
22m 4s
Merge pull request #465 from ftsrg/concurrency-violation-witness-fix Check formatting #3349: Commit cd209ec pushed by leventeBajczi
3m 9s svcomp26
svcomp26
3m 9s
Merge pull request #465 from ftsrg/concurrency-violation-witness-fix macOS build and test #3349: Commit cd209ec pushed by leventeBajczi
18m 17s svcomp26
svcomp26
18m 17s
Cleanup old workflow runs (gh CLI) Cleanup old workflow runs (gh CLI) #7: Scheduled
11m 25s master
master
11m 25s
pages build and deployment pages-build-deployment #1206: by github-pages bot
2m 3s gh-pages
gh-pages
2m 3s
Libvsync Check copyright #3404: Pull request #433 synchronize by leventeBajczi
26s libvsync
libvsync
26s
Libvsync macOS build and test #3348: Pull request #433 synchronize by leventeBajczi
6h 0m 11s libvsync
libvsync
6h 0m 11s
Libvsync Check formatting #3348: Pull request #433 synchronize by leventeBajczi
3m 10s libvsync
libvsync
3m 10s
Libvsync Check version #1590: Pull request #433 synchronize by leventeBajczi
2m 58s libvsync
libvsync
2m 58s
Libvsync Linux build-test-deploy #3463: Pull request #433 synchronize by leventeBajczi
6h 7m 52s libvsync
libvsync
6h 7m 52s
Libvsync Windows build and test #3348: Pull request #433 synchronize by leventeBajczi
6h 0m 20s libvsync
libvsync
6h 0m 20s
Libvsync Sonar analysis #3597: Pull request #433 synchronize by leventeBajczi
19s
19s
made branch compile again macOS build and test #3347: Commit 49c20d8 pushed by leventeBajczi
6h 0m 8s libvsync
libvsync
6h 0m 8s
made branch compile again Linux build-test-deploy #3462: Commit 49c20d8 pushed by leventeBajczi
6h 8m 3s libvsync
libvsync
6h 8m 3s
made branch compile again Windows build and test #3347: Commit 49c20d8 pushed by leventeBajczi
6h 0m 21s libvsync
libvsync
6h 0m 21s