Skip to content

Actions: TAPAAL/verifypn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
508 workflow runs
508 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
Merge pull request #220 from mtygesen/negative-expr-rewrite-test Build Windows (Cross) #778: Commit f584504 pushed by srba
9m 14s main
main
9m 14s
Merge pull request #220 from mtygesen/negative-expr-rewrite-test Build MacOS for ARM processor #281: Commit f584504 pushed by srba
8m 53s main
main
8m 53s
Merge pull request #220 from mtygesen/negative-expr-rewrite-test Build Linux #752: Commit f584504 pushed by srba
13m 24s main
main
13m 24s
Merge pull request #220 from mtygesen/negative-expr-rewrite-test Build MacOS #784: Commit f584504 pushed by srba
19m 47s main
main
19m 47s
Added test case for rewrites of expressions to use leq instead of eq Build MacOS for ARM processor #280: Pull request #220 synchronize by mtygesen
8m 53s mtygesen:negative-expr-rewrite-test
mtygesen:negative-expr-rewrite-test
8m 53s
Added test case for rewrites of expressions to use leq instead of eq Build Linux #751: Pull request #220 synchronize by mtygesen
13m 55s mtygesen:negative-expr-rewrite-test
mtygesen:negative-expr-rewrite-test
13m 55s
Added test case for rewrites of expressions to use leq instead of eq Build Windows (Cross) #777: Pull request #220 synchronize by mtygesen
9m 5s mtygesen:negative-expr-rewrite-test
mtygesen:negative-expr-rewrite-test
9m 5s
Added test case for rewrites of expressions to use leq instead of eq Build MacOS #783: Pull request #220 synchronize by mtygesen
17m 6s mtygesen:negative-expr-rewrite-test
mtygesen:negative-expr-rewrite-test
17m 6s
Added test case for rewrites of expressions to use leq instead of eq Build MacOS #782: Pull request #220 opened by mtygesen
2m 46s mtygesen:negative-expr-rewrite-test
mtygesen:negative-expr-rewrite-test
2m 46s
Added test case for rewrites of expressions to use leq instead of eq Build Windows (Cross) #776: Pull request #220 opened by mtygesen
9m 33s mtygesen:negative-expr-rewrite-test
mtygesen:negative-expr-rewrite-test
9m 33s
Added test case for rewrites of expressions to use leq instead of eq Build Linux #750: Pull request #220 opened by mtygesen
7m 40s mtygesen:negative-expr-rewrite-test
mtygesen:negative-expr-rewrite-test
7m 40s
Added test case for rewrites of expressions to use leq instead of eq Build MacOS for ARM processor #279: Pull request #220 opened by mtygesen
10m 8s mtygesen:negative-expr-rewrite-test
mtygesen:negative-expr-rewrite-test
10m 8s
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