Skip to content

Actions: TAPAAL/verifypn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
501 workflow runs
501 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 #749: Pull request #218 synchronize by bruno-go
13m 32s bruno-go:lp-generalization
bruno-go:lp-generalization
13m 32s
Test LP generalization Build Windows (Cross) #775: Pull request #218 synchronize by bruno-go
8m 36s bruno-go:lp-generalization
bruno-go:lp-generalization
8m 36s
Test LP generalization Build MacOS #781: Pull request #218 synchronize by bruno-go
20m 2s bruno-go:lp-generalization
bruno-go:lp-generalization
20m 2s
Test LP generalization Build MacOS for ARM processor #278: Pull request #218 synchronize by bruno-go
9m 28s bruno-go:lp-generalization
bruno-go:lp-generalization
9m 28s
Merge pull request #219 from mtygesen/negative-equality-simplificatio… Build Windows (Cross) #774: Commit 50b1a4f pushed by srba
9m 19s main
main
9m 19s
Merge pull request #219 from mtygesen/negative-equality-simplificatio… Build MacOS for ARM processor #277: Commit 50b1a4f pushed by srba
9m 19s main
main
9m 19s
Merge pull request #219 from mtygesen/negative-equality-simplificatio… Build MacOS #780: Commit 50b1a4f pushed by srba
18m 16s main
main
18m 16s
Merge pull request #219 from mtygesen/negative-equality-simplificatio… Build Linux #748: Commit 50b1a4f pushed by srba
13m 3s main
main
13m 3s
Build Linux Build Linux #747: Manually run by srba
14m 32s main
main
14m 32s
Test LP generalization Build MacOS for ARM processor #276: Pull request #218 synchronize by bruno-go
9m 29s bruno-go:lp-generalization
bruno-go:lp-generalization
9m 29s
Test LP generalization Build MacOS #779: Pull request #218 synchronize by bruno-go
18m 44s bruno-go:lp-generalization
bruno-go:lp-generalization
18m 44s
Test LP generalization Build Linux #746: Pull request #218 synchronize by bruno-go
13m 13s bruno-go:lp-generalization
bruno-go:lp-generalization
13m 13s
Test LP generalization Build Windows (Cross) #773: Pull request #218 synchronize by bruno-go
9m 24s bruno-go:lp-generalization
bruno-go:lp-generalization
9m 24s
Add check if can be negative in equality - fix 2156598 Build Windows (Cross) #772: Pull request #219 opened by mtygesen
8m 58s mtygesen:negative-equality-simplification-2156598
mtygesen:negative-equality-simplification-2156598
8m 58s
Add check if can be negative in equality - fix 2156598 Build MacOS #778: Pull request #219 opened by mtygesen
19m 42s mtygesen:negative-equality-simplification-2156598
mtygesen:negative-equality-simplification-2156598
19m 42s
Add check if can be negative in equality - fix 2156598 Build Linux #745: Pull request #219 opened by mtygesen
13m 13s mtygesen:negative-equality-simplification-2156598
mtygesen:negative-equality-simplification-2156598
13m 13s
Add check if can be negative in equality - fix 2156598 Build MacOS for ARM processor #275: Pull request #219 opened by mtygesen
8m 58s mtygesen:negative-equality-simplification-2156598
mtygesen:negative-equality-simplification-2156598
8m 58s
Test LP generalization Build MacOS for ARM processor #274: Pull request #218 synchronize by bruno-go
9m 28s bruno-go:lp-generalization
bruno-go:lp-generalization
9m 28s
Test LP generalization Build MacOS #777: Pull request #218 synchronize by bruno-go
24m 36s bruno-go:lp-generalization
bruno-go:lp-generalization
24m 36s
Test LP generalization Build Windows (Cross) #771: Pull request #218 synchronize by bruno-go
8m 44s bruno-go:lp-generalization
bruno-go:lp-generalization
8m 44s
Test LP generalization Build Linux #744: Pull request #218 synchronize by bruno-go
12m 51s bruno-go:lp-generalization
bruno-go:lp-generalization
12m 51s
Tarjan reporting false loops - fix 2080845 Build Linux #743: Pull request #212 synchronize by mtygesen
13m 23s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
13m 23s
Tarjan reporting false loops - fix 2080845 Build Windows (Cross) #770: Pull request #212 synchronize by mtygesen
8m 59s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
8m 59s
Tarjan reporting false loops - fix 2080845 Build MacOS #776: Pull request #212 synchronize by mtygesen
21m 12s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
21m 12s
Tarjan reporting false loops - fix 2080845 Build MacOS for ARM processor #273: Pull request #212 synchronize by mtygesen
8m 40s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
8m 40s