Skip to content

Actions: TAPAAL/verifypn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
607 workflow runs
607 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
Test LP generalization Build Linux #735: Pull request #218 synchronize by bruno-go
13m 26s bruno-go:lp-generalization
bruno-go:lp-generalization
13m 26s
Test LP generalization Build MacOS #768: Pull request #218 synchronize by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Test LP generalization Build MacOS for ARM processor #265: Pull request #218 synchronize by bruno-go
3s bruno-go:lp-generalization
bruno-go:lp-generalization
3s
Test LP generalization Build Windows (Cross) #762: Pull request #218 synchronize by bruno-go
3s bruno-go:lp-generalization
bruno-go:lp-generalization
3s
Test LP generalization Build MacOS #767: Pull request #218 synchronize by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Test LP generalization Build Windows (Cross) #761: Pull request #218 synchronize by bruno-go
3s bruno-go:lp-generalization
bruno-go:lp-generalization
3s
Test LP generalization Build Linux #734: Pull request #218 synchronize by bruno-go
13m 41s bruno-go:lp-generalization
bruno-go:lp-generalization
13m 41s
Test LP generalization Build MacOS for ARM processor #264: Pull request #218 synchronize by bruno-go
3s bruno-go:lp-generalization
bruno-go:lp-generalization
3s
Test LP generalization Build MacOS for ARM processor #263: Pull request #218 synchronize by bruno-go
3s bruno-go:lp-generalization
bruno-go:lp-generalization
3s
Test LP generalization Build MacOS #766: Pull request #218 synchronize by bruno-go
3s bruno-go:lp-generalization
bruno-go:lp-generalization
3s
Test LP generalization Build Windows (Cross) #760: Pull request #218 synchronize by bruno-go
3s bruno-go:lp-generalization
bruno-go:lp-generalization
3s
Test LP generalization Build Linux #733: Pull request #218 synchronize by bruno-go
13m 28s bruno-go:lp-generalization
bruno-go:lp-generalization
13m 28s
Test LP generalization Build Linux #731: Pull request #218 synchronize by bruno-go
13m 31s bruno-go:lp-generalization
bruno-go:lp-generalization
13m 31s
Test LP generalization Build MacOS #764: Pull request #218 synchronize by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Test LP generalization Build Windows (Cross) #758: Pull request #218 synchronize by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Test LP generalization Build MacOS for ARM processor #261: Pull request #218 synchronize by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Test LP generalization Build MacOS #763: Pull request #218 synchronize by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Test LP generalization Build Windows (Cross) #757: Pull request #218 synchronize by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Test LP generalization Build Linux #730: Pull request #218 synchronize by bruno-go
13m 25s bruno-go:lp-generalization
bruno-go:lp-generalization
13m 25s
Test LP generalization Build MacOS for ARM processor #260: Pull request #218 synchronize by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Test LP generalization Build Windows (Cross) #756: Pull request #218 opened by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Test LP generalization Build MacOS for ARM processor #259: Pull request #218 opened by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Test LP generalization Build Linux #729: Pull request #218 opened by bruno-go
12m 57s bruno-go:lp-generalization
bruno-go:lp-generalization
12m 57s
Test LP generalization Build MacOS #762: Pull request #218 opened by bruno-go
2s bruno-go:lp-generalization
bruno-go:lp-generalization
2s
Update project version to 4.4.2 Build MacOS for ARM processor #258: Commit 0f4862d pushed by srba
9m 15s main
main
9m 15s