Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: TAPAAL/verifypn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
802 workflow runs
802 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

P >= 0 Constraints for LP Build MacOS for ARM processor #253: Pull request #211 synchronize by bruno-go
Action required bruno-go:main
bruno-go:main
Action required
P >= 0 Constraints for LP Build MacOS #756: Pull request #211 synchronize by bruno-go
Action required bruno-go:main
bruno-go:main
Action required
P >= 0 Constraints for LP Build Windows (Cross) #750: Pull request #211 synchronize by bruno-go
Action required bruno-go:main
bruno-go:main
Action required
P >= 0 Constraints for LP Build Linux #723: Pull request #211 synchronize by bruno-go
Action required bruno-go:main
bruno-go:main
Action required
Merge pull request #216 from TAPAAL/srba-patch-1 Build MacOS for ARM processor #252: Commit ff895f6 pushed by srba
8m 53s main
main
8m 53s
Merge pull request #216 from TAPAAL/srba-patch-1 Build MacOS #755: Commit ff895f6 pushed by srba
18m 33s main
main
18m 33s
Merge pull request #216 from TAPAAL/srba-patch-1 Build Windows (Cross) #749: Commit ff895f6 pushed by srba
8m 29s main
main
8m 29s
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 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 MacOS #754: Pull request #215 synchronize by JE-FH
2s JE-FH:support-all
JE-FH:support-all
2s
Change interactive mode protocol to use PNML like syntax Build MacOS for ARM processor #251: Pull request #215 synchronize by JE-FH
14m 2s JE-FH:support-all
JE-FH:support-all
14m 2s
Change interactive mode protocol to use PNML like syntax Build MacOS for ARM processor #250: Pull request #215 synchronize by JE-FH
10m 30s JE-FH:support-all
JE-FH:support-all
10m 30s
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
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
Change interactive mode protocol to use PNML like syntax Build MacOS #753: Pull request #215 synchronize by JE-FH
2s JE-FH:support-all
JE-FH:support-all
2s
Update macOS runner version to macos-15-intel Build MacOS for ARM processor #249: Pull request #216 opened by srba
11m 57s srba-patch-1
srba-patch-1
11m 57s
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
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
Update macOS runner version to macos-15-intel Build MacOS #752: Pull request #216 opened by srba
28m 7s srba-patch-1
srba-patch-1
28m 7s
Tarjan reporting false loops - fix 2080845 Build MacOS for ARM processor #248: Pull request #212 synchronize by mtygesen
9m 45s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
9m 45s
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
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
Tarjan reporting false loops - fix 2080845 Build MacOS #751: Pull request #212 synchronize by mtygesen
2s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
2s
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