Skip to content

Actions: TAPAAL/verifypn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
375 workflow runs
375 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing a bug where a transition used in a query was removed. Build MacOS #586: Pull request #181 opened by srba
February 19, 2025 14:36 16m 10s fix-2092210
fix-2092210
February 19, 2025 14:36 16m 10s
Fixing a bug where a transition used in a query was removed. Build MacOS for ARM processor #83: Pull request #181 opened by srba
February 19, 2025 14:36 8m 26s fix-2092210
fix-2092210
February 19, 2025 14:36 8m 26s
Fixing a bug where a transition used in a query was removed. Build Windows (Cross) #580: Pull request #181 opened by srba
February 19, 2025 14:36 13m 11s fix-2092210
fix-2092210
February 19, 2025 14:36 13m 11s
Fixing a bug where a transition used in a query was removed. Build Linux #558: Pull request #181 opened by srba
February 19, 2025 14:36 24m 0s fix-2092210
fix-2092210
February 19, 2025 14:36 24m 0s
Merge pull request #180 from mtygesen/unfolding-of-subtraction-2085693 Build MacOS #585: Commit 56a9c85 pushed by srba
February 18, 2025 13:16 15m 13s main
main
February 18, 2025 13:16 15m 13s
Merge pull request #180 from mtygesen/unfolding-of-subtraction-2085693 Build Linux #557: Commit 56a9c85 pushed by srba
February 18, 2025 13:16 25m 3s main
main
February 18, 2025 13:16 25m 3s
Merge pull request #180 from mtygesen/unfolding-of-subtraction-2085693 Build Windows (Cross) #579: Commit 56a9c85 pushed by srba
February 18, 2025 13:16 13m 20s main
main
February 18, 2025 13:16 13m 20s
Merge pull request #180 from mtygesen/unfolding-of-subtraction-2085693 Build MacOS for ARM processor #82: Commit 56a9c85 pushed by srba
February 18, 2025 13:16 10m 13s main
main
February 18, 2025 13:16 10m 13s
Explicit color checking Build Windows (Cross) #578: Pull request #176 synchronize by JE-FH
February 18, 2025 10:16 10m 19s CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 10:16 10m 19s
Explicit color checking Build Linux #556: Pull request #176 synchronize by JE-FH
February 18, 2025 10:16 24m 13s CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 10:16 24m 13s
Explicit color checking Build MacOS #584: Pull request #176 synchronize by JE-FH
February 18, 2025 10:16 2m 29s CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 10:16 2m 29s
Explicit color checking Build MacOS for ARM processor #81: Pull request #176 synchronize by JE-FH
February 18, 2025 10:16 7m 42s CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 10:16 7m 42s
Explicit color checking Build MacOS #583: Pull request #176 synchronize by emilnormann
February 18, 2025 10:01 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 10:01 Action required
Explicit color checking Build Linux #555: Pull request #176 synchronize by emilnormann
February 18, 2025 10:01 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 10:01 Action required
Explicit color checking Build Windows (Cross) #577: Pull request #176 synchronize by emilnormann
February 18, 2025 10:01 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 10:01 Action required
Explicit color checking Build MacOS for ARM processor #80: Pull request #176 synchronize by emilnormann
February 18, 2025 10:01 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 10:01 Action required
Explicit color checking Build MacOS for ARM processor #79: Pull request #176 ready_for_review by emilnormann
February 18, 2025 09:13 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 09:13 Action required
Explicit color checking Build MacOS #582: Pull request #176 ready_for_review by emilnormann
February 18, 2025 09:13 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 09:13 Action required
Explicit color checking Build Windows (Cross) #576: Pull request #176 ready_for_review by emilnormann
February 18, 2025 09:13 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 09:13 Action required
Explicit color checking Build MacOS #581: Pull request #176 synchronize by emilnormann
February 18, 2025 09:04 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 09:04 Action required
Explicit color checking Build Linux #554: Pull request #176 synchronize by emilnormann
February 18, 2025 09:04 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 09:04 Action required
Explicit color checking Build MacOS for ARM processor #78: Pull request #176 synchronize by emilnormann
February 18, 2025 09:04 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 09:04 Action required
Explicit color checking Build Windows (Cross) #575: Pull request #176 synchronize by emilnormann
February 18, 2025 09:04 Action required CS-24-SV-9-04:main
CS-24-SV-9-04:main
February 18, 2025 09:04 Action required
Unfolding of subtractions with variables - fix 2085693 Build Windows (Cross) #574: Pull request #180 synchronize by mtygesen
February 17, 2025 18:53 12m 25s mtygesen:unfolding-of-subtraction-2085693
mtygesen:unfolding-of-subtraction-2085693
February 17, 2025 18:53 12m 25s
Unfolding of subtractions with variables - fix 2085693 Build Linux #553: Pull request #180 synchronize by mtygesen
February 17, 2025 18:53 23m 31s mtygesen:unfolding-of-subtraction-2085693
mtygesen:unfolding-of-subtraction-2085693
February 17, 2025 18:53 23m 31s