Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,045 workflow runs
1,045 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
pages build and deployment pages-build-deployment #1238: by github-pages bot
1m 58s gh-pages
gh-pages
1m 58s
pages build and deployment pages-build-deployment #1237: by github-pages bot
2m 22s gh-pages
gh-pages
2m 22s
Linux build-test-deploy Linux build-test-deploy #3697: Manually run by leventeBajczi
1h 2m 6s master
master
1h 2m 6s
Merge pull request #489 from ftsrg/btor2-fixes Check copyright #3628: Commit 86a6079 pushed by AdamZsofi
1m 37s master
master
1m 37s
Merge pull request #489 from ftsrg/btor2-fixes Windows build and test #3572: Commit 86a6079 pushed by AdamZsofi
18m 44s master
master
18m 44s
Merge pull request #489 from ftsrg/btor2-fixes macOS build and test #3572: Commit 86a6079 pushed by AdamZsofi
10m 50s master
master
10m 50s
Merge pull request #489 from ftsrg/btor2-fixes Sonar analysis #3836: Commit 86a6079 pushed by AdamZsofi
17m 50s master
master
17m 50s
Merge pull request #489 from ftsrg/btor2-fixes Check formatting #3572: Commit 86a6079 pushed by AdamZsofi
2m 21s master
master
2m 21s
Merge pull request #489 from ftsrg/btor2-fixes Linux build-test-deploy #3696: Commit 86a6079 pushed by AdamZsofi
1h 8m 18s master
master
1h 8m 18s
Btor2Xcfa Fixes Sonar analysis #3835: Pull request #489 synchronize by AdamZsofi
19s
19s
Btor2Xcfa Fixes Check copyright #3627: Pull request #489 synchronize by AdamZsofi
2m 8s btor2-fixes
btor2-fixes
2m 8s
Btor2Xcfa Fixes macOS build and test #3571: Pull request #489 synchronize by AdamZsofi
10m 28s btor2-fixes
btor2-fixes
10m 28s
Btor2Xcfa Fixes Check formatting #3571: Pull request #489 synchronize by AdamZsofi
2m 43s btor2-fixes
btor2-fixes
2m 43s
Btor2Xcfa Fixes Check version #1699: Pull request #489 synchronize by AdamZsofi
3m 3s btor2-fixes
btor2-fixes
3m 3s
Btor2Xcfa Fixes Windows build and test #3571: Pull request #489 synchronize by AdamZsofi
17m 12s btor2-fixes
btor2-fixes
17m 12s
Btor2Xcfa Fixes Linux build-test-deploy #3695: Pull request #489 synchronize by AdamZsofi
1h 8m 18s btor2-fixes
btor2-fixes
1h 8m 18s
applied copyright macOS build and test #3570: Commit 2e424de pushed by AdamZsofi
10m 57s btor2-fixes
btor2-fixes
10m 57s
applied copyright Linux build-test-deploy #3694: Commit 2e424de pushed by AdamZsofi
1h 9m 33s btor2-fixes
btor2-fixes
1h 9m 33s
applied copyright Windows build and test #3570: Commit 2e424de pushed by AdamZsofi
18m 25s btor2-fixes
btor2-fixes
18m 25s
applied copyright Sonar analysis #3834: Commit 2e424de pushed by AdamZsofi
17m 42s btor2-fixes
btor2-fixes
17m 42s
applied copyright Check formatting #3570: Commit 2e424de pushed by AdamZsofi
2m 53s btor2-fixes
btor2-fixes
2m 53s
applied copyright Check copyright #3626: Commit 2e424de pushed by AdamZsofi
1m 43s btor2-fixes
btor2-fixes
1m 43s
Btor2Xcfa Fixes macOS build and test #3569: Pull request #489 synchronize by thetabotmaintainer bot
1m 54s btor2-fixes
btor2-fixes
1m 54s
Btor2Xcfa Fixes Check formatting #3569: Pull request #489 synchronize by thetabotmaintainer bot
1m 53s btor2-fixes
btor2-fixes
1m 53s
Btor2Xcfa Fixes Linux build-test-deploy #3693: Pull request #489 synchronize by thetabotmaintainer bot
2m 16s btor2-fixes
btor2-fixes
2m 16s