Skip to content

Actions: TAPAAL/verifypn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
757 workflow runs
757 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update project version to 4.4.2 Build MacOS for ARM processor #258: Commit 0f4862d pushed by srba
9m 15s main
main
9m 15s
Update project version to 4.4.2 Build Windows (Cross) #755: Commit 0f4862d pushed by srba
9m 18s main
main
9m 18s
Update project version to 4.4.2 Build Linux #728: Commit 0f4862d pushed by srba
13m 14s main
main
13m 14s
Update project version to 4.4.2 Build MacOS #761: Commit 0f4862d pushed by srba
17m 39s main
main
17m 39s
Merge pull request #217 from TAPAAL/support-all-jiri Build Windows (Cross) #754: Commit 4dc49d1 pushed by srba
8m 58s main
main
8m 58s
Merge pull request #217 from TAPAAL/support-all-jiri Build MacOS for ARM processor #257: Commit 4dc49d1 pushed by srba
14m 18s main
main
14m 18s
Merge pull request #217 from TAPAAL/support-all-jiri Build Linux #727: Commit 4dc49d1 pushed by srba
11m 36s main
main
11m 36s
Merge pull request #217 from TAPAAL/support-all-jiri Build MacOS #760: Commit 4dc49d1 pushed by srba
19m 6s main
main
19m 6s
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
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
HyperLTL trace error - fix 2127914 Build MacOS #759: Pull request #213 synchronize by mtygesen
2m 40s mtygesen:hyperltl-trace-loop-error-2127914
mtygesen:hyperltl-trace-loop-error-2127914
2m 40s
HyperLTL trace error - fix 2127914 Build MacOS for ARM processor #256: Pull request #213 synchronize by mtygesen
1m 39s mtygesen:hyperltl-trace-loop-error-2127914
mtygesen:hyperltl-trace-loop-error-2127914
1m 39s
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
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
Tarjan reporting false loops - fix 2080845 Build MacOS #758: Pull request #212 synchronize by mtygesen
20m 2s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
20m 2s
Tarjan reporting false loops - fix 2080845 Build MacOS for ARM processor #255: Pull request #212 synchronize by mtygesen
1m 56s mtygesen:tarjan-false-loop-2080845
mtygesen:tarjan-false-loop-2080845
1m 56s
Support-all-merged Build MacOS #757: Pull request #217 opened by srba
19m 25s support-all-jiri
support-all-jiri
19m 25s
Support-all-merged Build MacOS for ARM processor #254: Pull request #217 opened by srba
8m 57s support-all-jiri
support-all-jiri
8m 57s
Support-all-merged Build Linux #724: Pull request #217 opened by srba
13m 18s support-all-jiri
support-all-jiri
13m 18s
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 MacOS for ARM processor #253: Pull request #211 synchronize by bruno-go
9m 50s bruno-go:main
bruno-go:main
9m 50s
P >= 0 Constraints for LP Build MacOS #756: Pull request #211 synchronize by bruno-go
18m 49s bruno-go:main
bruno-go:main
18m 49s
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
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 MacOS for ARM processor #252: Commit ff895f6 pushed by srba
8m 53s main
main
8m 53s