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
794 workflow runs
794 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 MacOS for ARM processor #247: Pull request #215 synchronize by JE-FH
11m 26s JE-FH:support-all
JE-FH:support-all
11m 26s
Change interactive mode protocol to use PNML like syntax Build MacOS #750: 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 Linux #716: Pull request #215 synchronize by JE-FH
13m 20s JE-FH:support-all
JE-FH:support-all
13m 20s
Change interactive mode protocol to use PNML like syntax Build MacOS #749: Pull request #215 synchronize by JE-FH
1s JE-FH:support-all
JE-FH:support-all
1s
Change interactive mode protocol to use PNML like syntax Build MacOS for ARM processor #246: Pull request #215 synchronize by JE-FH
11m 33s JE-FH:support-all
JE-FH:support-all
11m 33s
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 MacOS #748: Pull request #212 synchronize by mtygesen
2s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
2s
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
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
Tarjan reporting false loops - fix 2080845 Build MacOS for ARM processor #245: Pull request #212 synchronize by mtygesen
10m 52s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
10m 52s
Build Linux Build Linux #714: Manually run by srba
13m 54s main
main
13m 54s
P >= 0 Constraints for LP Build MacOS for ARM processor #244: Pull request #211 synchronize by bruno-go
16m 16s bruno-go:main
bruno-go:main
16m 16s
P >= 0 Constraints for LP Build MacOS #747: Pull request #211 synchronize by bruno-go
3s bruno-go:main
bruno-go:main
3s
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
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 Linux #712: Pull request #215 opened by JE-FH
13m 38s JE-FH:support-all
JE-FH:support-all
13m 38s
Change interactive mode protocol to use PNML like syntax Build MacOS for ARM processor #243: Pull request #215 opened by JE-FH
10m 45s JE-FH:support-all
JE-FH:support-all
10m 45s
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
Change interactive mode protocol to use PNML like syntax Build MacOS #746: Pull request #215 opened by JE-FH
20m 30s JE-FH:support-all
JE-FH:support-all
20m 30s
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
Merge pull request #214 from JE-FH/interactive-mode-fix Build Linux #711: Commit 66434f2 pushed by srba
13m 21s main
main
13m 21s
Merge pull request #214 from JE-FH/interactive-mode-fix Build MacOS for ARM processor #242: Commit 66434f2 pushed by srba
11m 48s main
main
11m 48s
Merge pull request #214 from JE-FH/interactive-mode-fix Build MacOS #745: Commit 66434f2 pushed by srba
3s main
main
3s
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