Skip to content

Actions: TAPAAL/verifypn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Token Elimination abstraction Build Windows (Cross) #559: Pull request #178 synchronize by NicEastvillage
January 24, 2025 07:42 12m 54s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 24, 2025 07:42 12m 54s
Add Token Elimination abstraction Build Linux #538: Pull request #178 synchronize by NicEastvillage
January 24, 2025 07:42 21m 35s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 24, 2025 07:42 21m 35s
Add Token Elimination abstraction Build MacOS for ARM processor #61: Pull request #178 synchronize by NicEastvillage
January 24, 2025 07:42 8m 41s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 24, 2025 07:42 8m 41s
Add Token Elimination abstraction Build MacOS #564: Pull request #178 synchronize by NicEastvillage
January 24, 2025 07:42 2m 59s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 24, 2025 07:42 2m 59s
Add Token Elimination abstraction Build MacOS #563: Pull request #178 synchronize by NicEastvillage
January 21, 2025 13:14 17m 19s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 21, 2025 13:14 17m 19s
Add Token Elimination abstraction Build Windows (Cross) #558: Pull request #178 synchronize by NicEastvillage
January 21, 2025 13:14 13m 23s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 21, 2025 13:14 13m 23s
Add Token Elimination abstraction Build MacOS for ARM processor #60: Pull request #178 synchronize by NicEastvillage
January 21, 2025 13:14 8m 47s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 21, 2025 13:14 8m 47s
Add Token Elimination abstraction Build Linux #537: Pull request #178 synchronize by NicEastvillage
January 21, 2025 13:14 1m 34s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 21, 2025 13:14 1m 34s
Add Token Elimination abstraction Build MacOS #562: Pull request #178 opened by NicEastvillage
January 21, 2025 12:51 2m 33s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 21, 2025 12:51 2m 33s
Add Token Elimination abstraction Build Windows (Cross) #557: Pull request #178 opened by NicEastvillage
January 21, 2025 12:51 10m 51s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 21, 2025 12:51 10m 51s
Add Token Elimination abstraction Build Linux #536: Pull request #178 opened by NicEastvillage
January 21, 2025 12:51 1m 42s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 21, 2025 12:51 1m 42s
Add Token Elimination abstraction Build MacOS for ARM processor #59: Pull request #178 opened by NicEastvillage
January 21, 2025 12:51 9m 54s NicEastvillage:token_elim_good
NicEastvillage:token_elim_good
January 21, 2025 12:51 9m 54s
Explicit color checking Build MacOS for ARM processor #58: Pull request #176 synchronize by JE-FH
January 7, 2025 08:50 5s CS-24-SV-9-04:main
CS-24-SV-9-04:main
January 7, 2025 08:50 5s
Explicit color checking Build Windows (Cross) #556: Pull request #176 synchronize by JE-FH
January 7, 2025 08:50 5s CS-24-SV-9-04:main
CS-24-SV-9-04:main
January 7, 2025 08:50 5s
Explicit color checking Build Linux #535: Pull request #176 synchronize by JE-FH
January 7, 2025 08:50 23m 58s CS-24-SV-9-04:main
CS-24-SV-9-04:main
January 7, 2025 08:50 23m 58s
Explicit color checking Build MacOS #561: Pull request #176 synchronize by JE-FH
January 7, 2025 08:50 5s CS-24-SV-9-04:main
CS-24-SV-9-04:main
January 7, 2025 08:50 5s
Explicit color checking Build Linux #534: Pull request #176 synchronize by JE-FH
January 5, 2025 11:51 24m 8s CS-24-SV-9-04:main
CS-24-SV-9-04:main
January 5, 2025 11:51 24m 8s
Explicit color checking Build Windows (Cross) #555: Pull request #176 synchronize by JE-FH
January 5, 2025 11:51 6s CS-24-SV-9-04:main
CS-24-SV-9-04:main
January 5, 2025 11:51 6s
Explicit color checking Build MacOS #560: Pull request #176 synchronize by JE-FH
January 5, 2025 11:51 6s CS-24-SV-9-04:main
CS-24-SV-9-04:main
January 5, 2025 11:51 6s
Explicit color checking Build MacOS for ARM processor #57: Pull request #176 synchronize by JE-FH
January 5, 2025 11:51 6s CS-24-SV-9-04:main
CS-24-SV-9-04:main
January 5, 2025 11:51 6s
Explicit color checking Build Linux #533: Pull request #176 synchronize by emilnormann
December 20, 2024 11:29 24m 1s CS-24-SV-9-04:main
CS-24-SV-9-04:main
December 20, 2024 11:29 24m 1s
Explicit color checking Build Windows (Cross) #554: Pull request #176 synchronize by emilnormann
December 20, 2024 11:29 4s CS-24-SV-9-04:main
CS-24-SV-9-04:main
December 20, 2024 11:29 4s
Explicit color checking Build MacOS #559: Pull request #176 synchronize by emilnormann
December 20, 2024 11:29 6s CS-24-SV-9-04:main
CS-24-SV-9-04:main
December 20, 2024 11:29 6s
Explicit color checking Build MacOS for ARM processor #56: Pull request #176 synchronize by emilnormann
December 20, 2024 11:29 6s CS-24-SV-9-04:main
CS-24-SV-9-04:main
December 20, 2024 11:29 6s
Explicit color checking Build MacOS #558: Pull request #176 synchronize by JE-FH
December 18, 2024 14:17 6s CS-24-SV-9-04:main
CS-24-SV-9-04:main
December 18, 2024 14:17 6s