Skip to content

Actions: TAPAAL/verifypn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
745 workflow runs
745 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 MacOS for ARM processor #262: Pull request #218 synchronize by bruno-go
Action required bruno-go:lp-generalization
bruno-go:lp-generalization
Action required
Test LP generalization Build MacOS #765: Pull request #218 synchronize by bruno-go
Action required bruno-go:lp-generalization
bruno-go:lp-generalization
Action required
Test LP generalization Build Linux #732: Pull request #218 synchronize by bruno-go
Action required bruno-go:lp-generalization
bruno-go:lp-generalization
Action required
Test LP generalization Build Windows (Cross) #759: Pull request #218 synchronize by bruno-go
Action required bruno-go:lp-generalization
bruno-go:lp-generalization
Action required
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