Skip to content

Actions: TAPAAL/verifypn

Actions

Build Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-linux.yml
145 workflow runs
145 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 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 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 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 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 Linux #729: Pull request #218 opened by bruno-go
12m 57s bruno-go:lp-generalization
bruno-go:lp-generalization
12m 57s
Update project version to 4.4.2 Build Linux #728: Commit 0f4862d pushed by srba
13m 14s main
main
13m 14s
Merge pull request #217 from TAPAAL/support-all-jiri Build Linux #727: Commit 4dc49d1 pushed by srba
11m 36s main
main
11m 36s
HyperLTL trace error - fix 2127914 Build Linux #726: Pull request #213 synchronize by mtygesen
13m 22s mtygesen:hyperltl-trace-loop-error-2127914
mtygesen:hyperltl-trace-loop-error-2127914
13m 22s
Tarjan reporting false loops - fix 2080845 Build Linux #725: Pull request #212 synchronize by mtygesen
13m 12s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
13m 12s
Support-all-merged Build Linux #724: Pull request #217 opened by srba
13m 18s support-all-jiri
support-all-jiri
13m 18s
P >= 0 Constraints for LP Build Linux #723: Pull request #211 synchronize by bruno-go
13m 42s bruno-go:main
bruno-go:main
13m 42s
Merge pull request #216 from TAPAAL/srba-patch-1 Build Linux #722: Commit ff895f6 pushed by srba
13m 17s main
main
13m 17s
Change interactive mode protocol to use PNML like syntax Build Linux #721: Pull request #215 synchronize by JE-FH
13m 17s JE-FH:support-all
JE-FH:support-all
13m 17s
Change interactive mode protocol to use PNML like syntax Build Linux #720: Pull request #215 synchronize by JE-FH
10m 40s JE-FH:support-all
JE-FH:support-all
10m 40s
Update macOS runner version to macos-15-intel Build Linux #719: Pull request #216 opened by srba
13m 44s srba-patch-1
srba-patch-1
13m 44s
Tarjan reporting false loops - fix 2080845 Build Linux #718: Pull request #212 synchronize by mtygesen
13m 12s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
13m 12s
Change interactive mode protocol to use PNML like syntax Build Linux #717: Pull request #215 synchronize by JE-FH
13m 33s JE-FH:support-all
JE-FH:support-all
13m 33s
Change interactive mode protocol to use PNML like syntax Build Linux #716: Pull request #215 synchronize by JE-FH
13m 20s JE-FH:support-all
JE-FH:support-all
13m 20s
Tarjan reporting false loops - fix 2080845 Build Linux #715: Pull request #212 synchronize by mtygesen
13m 26s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
13m 26s
Build Linux Build Linux #714: Manually run by srba
13m 54s main
main
13m 54s
P >= 0 Constraints for LP Build Linux #713: Pull request #211 synchronize by bruno-go
13m 16s bruno-go:main
bruno-go:main
13m 16s
Change interactive mode protocol to use PNML like syntax Build Linux #712: Pull request #215 opened by JE-FH
13m 38s JE-FH:support-all
JE-FH:support-all
13m 38s
Merge pull request #214 from JE-FH/interactive-mode-fix Build Linux #711: Commit 66434f2 pushed by srba
13m 21s main
main
13m 21s
Corrected interactive mode Build Linux #710: Pull request #214 opened by JE-FH
13m 9s JE-FH:interactive-mode-fix
JE-FH:interactive-mode-fix
13m 9s