Skip to content

Actions: TAPAAL/verifytapn

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update CMakeLists.txt
Build Linux #86: Pull request #30 opened by srba
January 22, 2024 10:31 2m 29s srba-patch-1
January 22, 2024 10:31 2m 29s
Update CMakeLists.txt
Build Windows (Cross Compile) #83: Pull request #30 opened by srba
January 22, 2024 10:31 3m 23s srba-patch-1
January 22, 2024 10:31 3m 23s
Merge pull request #29 from TAPAAL/print-bindings
Build Windows (Cross Compile) #82: Commit c993339 pushed by srba
January 3, 2024 13:50 3m 21s main
January 3, 2024 13:50 3m 21s
Merge pull request #29 from TAPAAL/print-bindings
Build Linux #85: Commit c993339 pushed by srba
January 3, 2024 13:50 2m 30s main
January 3, 2024 13:50 2m 30s
Merge pull request #29 from TAPAAL/print-bindings
Build MacOS #91: Commit c993339 pushed by srba
January 3, 2024 13:50 8m 8s main
January 3, 2024 13:50 8m 8s
added the switch -b for printing bindings
Build MacOS #90: Pull request #29 opened by srba
January 3, 2024 13:40 8m 33s print-bindings
January 3, 2024 13:40 8m 33s
added the switch -b for printing bindings
Build Windows (Cross Compile) #81: Pull request #29 opened by srba
January 3, 2024 13:40 3m 17s print-bindings
January 3, 2024 13:40 3m 17s
added the switch -b for printing bindings
Build Linux #84: Pull request #29 opened by srba
January 3, 2024 13:40 2m 32s print-bindings
January 3, 2024 13:40 2m 32s
Build Windows (Cross Compile)
Build Windows (Cross Compile) #80: Manually run by srba
September 11, 2023 08:08 4m 48s main
September 11, 2023 08:08 4m 48s
Build MacOS
Build MacOS #89: Manually run by srba
September 11, 2023 08:08 9m 21s main
September 11, 2023 08:08 9m 21s
Build Linux
Build Linux #83: Manually run by srba
September 11, 2023 08:08 4m 8s main
September 11, 2023 08:08 4m 8s
Build Linux
Build Linux #82: Manually run by srba
August 9, 2023 14:00 4m 7s main
August 9, 2023 14:00 4m 7s
Build Linux
Build Linux #81: Manually run by srba
August 9, 2023 13:07 14s main
August 9, 2023 13:07 14s
Build Windows (Cross Compile)
Build Windows (Cross Compile) #79: Manually run by srba
August 9, 2023 13:06 5m 3s main
August 9, 2023 13:06 5m 3s
Build MacOS
Build MacOS #88: Manually run by srba
August 9, 2023 13:06 10m 20s main
August 9, 2023 13:06 10m 20s
Build Linux
Build Linux #80: Manually run by srba
August 9, 2023 13:06 58s main
August 9, 2023 13:06 58s