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
1,099 workflow runs
1,099 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup old workflow runs (gh CLI) Cleanup old workflow runs (gh CLI) #15: Scheduled
23m 30s master
master
23m 30s
Cleanup old workflow runs (gh CLI) Cleanup old workflow runs (gh CLI) #14: Scheduled
10m 49s master
master
10m 49s
MDD look-ahead optimizations Sonar analysis #3658: Pull request #475 synchronize by mondokm
25s
25s
Add mddtoExpr to XCFA cli macOS build and test #3408: Commit 5086a96 pushed by mondokm
20m 22s statespaceinfoopt
statespaceinfoopt
20m 22s
Add mddtoExpr to XCFA cli Check formatting #3408: Commit 5086a96 pushed by mondokm
3m 6s statespaceinfoopt
statespaceinfoopt
3m 6s
Add mddtoExpr to XCFA cli Windows build and test #3408: Commit 5086a96 pushed by mondokm
19m 48s statespaceinfoopt
statespaceinfoopt
19m 48s
Add mddtoExpr to XCFA cli Check copyright #3464: Commit 5086a96 pushed by mondokm
28s statespaceinfoopt
statespaceinfoopt
28s
Add mddtoExpr to XCFA cli Sonar analysis #3657: Commit 5086a96 pushed by mondokm
18m 46s statespaceinfoopt
statespaceinfoopt
18m 46s
Add mddtoExpr to XCFA cli Linux build-test-deploy #3524: Commit 5086a96 pushed by mondokm
31m 45s statespaceinfoopt
statespaceinfoopt
31m 45s
pages build and deployment pages-build-deployment #1218: by github-pages bot
2m 5s gh-pages
gh-pages
2m 5s
pages build and deployment pages-build-deployment #1217: by github-pages bot
2m 2s gh-pages
gh-pages
2m 2s
Linux build-test-deploy Linux build-test-deploy #3523: Manually run by mondokm
43m 49s master
master
43m 49s
MDD look-ahead optimizations Sonar analysis #3656: Pull request #475 synchronize by mondokm
22s
22s
Fix vector-level option Windows build and test #3407: Commit 137e388 pushed by mondokm
19m 28s statespaceinfoopt
statespaceinfoopt
19m 28s
Fix vector-level option Check copyright #3463: Commit 137e388 pushed by mondokm
32s statespaceinfoopt
statespaceinfoopt
32s
Fix vector-level option Check formatting #3407: Commit 137e388 pushed by mondokm
3m 25s statespaceinfoopt
statespaceinfoopt
3m 25s
Fix vector-level option Linux build-test-deploy #3522: Commit 137e388 pushed by mondokm
32m 28s statespaceinfoopt
statespaceinfoopt
32m 28s
Fix vector-level option Sonar analysis #3655: Commit 137e388 pushed by mondokm
19m 3s statespaceinfoopt
statespaceinfoopt
19m 3s
Fix vector-level option macOS build and test #3407: Commit 137e388 pushed by mondokm
27m 23s statespaceinfoopt
statespaceinfoopt
27m 23s
MDD look-ahead optimizations Sonar analysis #3654: Pull request #475 synchronize by mondokm
24s
24s
Add cli option for mddtoexpr Check formatting #3406: Commit 6bdd46b pushed by mondokm
2m 55s statespaceinfoopt
statespaceinfoopt
2m 55s
Add cli option for mddtoexpr Windows build and test #3406: Commit 6bdd46b pushed by mondokm
19m 16s statespaceinfoopt
statespaceinfoopt
19m 16s
Add cli option for mddtoexpr macOS build and test #3406: Commit 6bdd46b pushed by mondokm
17m 20s statespaceinfoopt
statespaceinfoopt
17m 20s
Add cli option for mddtoexpr Check copyright #3462: Commit 6bdd46b pushed by mondokm
28s statespaceinfoopt
statespaceinfoopt
28s
Add cli option for mddtoexpr Linux build-test-deploy #3521: Commit 6bdd46b pushed by mondokm
32m 12s statespaceinfoopt
statespaceinfoopt
32m 12s