Skip to content

Actions: TAPAAL/verifypn

Actions

Build Windows (Cross)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-win.yml
150 workflow runs
150 workflow runs

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 Windows (Cross) #762: Pull request #218 synchronize by bruno-go
3s bruno-go:lp-generalization
bruno-go:lp-generalization
3s
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 Windows (Cross) #760: Pull request #218 synchronize by bruno-go
3s bruno-go:lp-generalization
bruno-go:lp-generalization
3s
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 Windows (Cross) #757: 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
Update project version to 4.4.2 Build Windows (Cross) #755: Commit 0f4862d pushed by srba
9m 18s main
main
9m 18s
Merge pull request #217 from TAPAAL/support-all-jiri Build Windows (Cross) #754: Commit 4dc49d1 pushed by srba
8m 58s main
main
8m 58s
HyperLTL trace error - fix 2127914 Build Windows (Cross) #753: Pull request #213 synchronize by mtygesen
9m 10s mtygesen:hyperltl-trace-loop-error-2127914
mtygesen:hyperltl-trace-loop-error-2127914
9m 10s
Tarjan reporting false loops - fix 2080845 Build Windows (Cross) #752: Pull request #212 synchronize by mtygesen
8m 52s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
8m 52s
Support-all-merged Build Windows (Cross) #751: Pull request #217 opened by srba
8m 46s support-all-jiri
support-all-jiri
8m 46s
P >= 0 Constraints for LP Build Windows (Cross) #750: Pull request #211 synchronize by bruno-go
8m 23s bruno-go:main
bruno-go:main
8m 23s
Merge pull request #216 from TAPAAL/srba-patch-1 Build Windows (Cross) #749: Commit ff895f6 pushed by srba
8m 29s main
main
8m 29s
Change interactive mode protocol to use PNML like syntax Build Windows (Cross) #748: Pull request #215 synchronize by JE-FH
8m 55s JE-FH:support-all
JE-FH:support-all
8m 55s
Change interactive mode protocol to use PNML like syntax Build Windows (Cross) #747: Pull request #215 synchronize by JE-FH
9m 13s JE-FH:support-all
JE-FH:support-all
9m 13s
Update macOS runner version to macos-15-intel Build Windows (Cross) #746: Pull request #216 opened by srba
9m 15s srba-patch-1
srba-patch-1
9m 15s
Tarjan reporting false loops - fix 2080845 Build Windows (Cross) #745: Pull request #212 synchronize by mtygesen
9m 5s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
9m 5s
Change interactive mode protocol to use PNML like syntax Build Windows (Cross) #744: Pull request #215 synchronize by JE-FH
1h 6m 55s JE-FH:support-all
JE-FH:support-all
1h 6m 55s
Change interactive mode protocol to use PNML like syntax Build Windows (Cross) #743: Pull request #215 synchronize by JE-FH
8m 51s JE-FH:support-all
JE-FH:support-all
8m 51s
Tarjan reporting false loops - fix 2080845 Build Windows (Cross) #742: Pull request #212 synchronize by mtygesen
9m 15s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
9m 15s
P >= 0 Constraints for LP Build Windows (Cross) #741: Pull request #211 synchronize by bruno-go
9m 3s bruno-go:main
bruno-go:main
9m 3s
Change interactive mode protocol to use PNML like syntax Build Windows (Cross) #740: Pull request #215 opened by JE-FH
10m 1s JE-FH:support-all
JE-FH:support-all
10m 1s
Merge pull request #214 from JE-FH/interactive-mode-fix Build Windows (Cross) #739: Commit 66434f2 pushed by srba
8m 46s main
main
8m 46s
Corrected interactive mode Build Windows (Cross) #738: Pull request #214 opened by JE-FH
8m 53s JE-FH:interactive-mode-fix
JE-FH:interactive-mode-fix
8m 53s
P >= 0 Constraints for LP Build Windows (Cross) #737: Pull request #211 synchronize by bruno-go
15m 41s bruno-go:main
bruno-go:main
15m 41s