Skip to content

Actions: TAPAAL/verifydtapn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
356 workflow runs
356 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update main.cpp Build MacOS #119: Pull request #42 opened by srba
February 8, 2024 15:48 8m 50s srba-patch-1
srba-patch-1
February 8, 2024 15:48 8m 50s
Update main.cpp Build Windows (Cross Compile) #116: Pull request #42 opened by srba
February 8, 2024 15:48 3m 54s srba-patch-1
srba-patch-1
February 8, 2024 15:48 3m 54s
Merge pull request #41 from TAPAAL/srba-patch-1 Build Linux #122: Commit 27ecce4 pushed by srba
January 22, 2024 10:40 2m 17s main
main
January 22, 2024 10:40 2m 17s
Merge pull request #41 from TAPAAL/srba-patch-1 Build MacOS #118: Commit 27ecce4 pushed by srba
January 22, 2024 10:40 7m 53s main
main
January 22, 2024 10:40 7m 53s
Merge pull request #41 from TAPAAL/srba-patch-1 Build Windows (Cross Compile) #115: Commit 27ecce4 pushed by srba
January 22, 2024 10:40 3m 18s main
main
January 22, 2024 10:40 3m 18s
Update CMakeLists.txt Build MacOS #117: Pull request #41 opened by srba
January 22, 2024 10:31 7m 41s srba-patch-1
srba-patch-1
January 22, 2024 10:31 7m 41s
Update CMakeLists.txt Build Linux #121: Pull request #41 opened by srba
January 22, 2024 10:31 2m 23s srba-patch-1
srba-patch-1
January 22, 2024 10:31 2m 23s
Update CMakeLists.txt Build Windows (Cross Compile) #114: Pull request #41 opened by srba
January 22, 2024 10:31 3m 28s srba-patch-1
srba-patch-1
January 22, 2024 10:31 3m 28s
Merge pull request #40 from TAPAAL/Switch-for-printing-bidnings Build Windows (Cross Compile) #113: Commit 576f820 pushed by srba
January 3, 2024 12:31 3m 31s main
main
January 3, 2024 12:31 3m 31s
Merge pull request #40 from TAPAAL/Switch-for-printing-bidnings Build Linux #120: Commit 576f820 pushed by srba
January 3, 2024 12:31 2m 24s main
main
January 3, 2024 12:31 2m 24s
Merge pull request #40 from TAPAAL/Switch-for-printing-bidnings Build MacOS #116: Commit 576f820 pushed by srba
January 3, 2024 12:31 7m 40s main
main
January 3, 2024 12:31 7m 40s
Switch for printing bidnings for CPN unfolding Build Linux #119: Pull request #40 synchronize by srba
January 3, 2024 12:17 2m 25s Switch-for-printing-bidnings
Switch-for-printing-bidnings
January 3, 2024 12:17 2m 25s
Switch for printing bidnings for CPN unfolding Build Windows (Cross Compile) #112: Pull request #40 synchronize by srba
January 3, 2024 12:17 3m 38s Switch-for-printing-bidnings
Switch-for-printing-bidnings
January 3, 2024 12:17 3m 38s
Switch for printing bidnings for CPN unfolding Build MacOS #115: Pull request #40 synchronize by srba
January 3, 2024 12:17 7m 35s Switch-for-printing-bidnings
Switch-for-printing-bidnings
January 3, 2024 12:17 7m 35s
Switch for printing bidnings for CPN unfolding Build Windows (Cross Compile) #111: Pull request #40 synchronize by srba
January 3, 2024 12:03 4m 5s Switch-for-printing-bidnings
Switch-for-printing-bidnings
January 3, 2024 12:03 4m 5s
Switch for printing bidnings for CPN unfolding Build Linux #118: Pull request #40 synchronize by srba
January 3, 2024 12:03 2m 21s Switch-for-printing-bidnings
Switch-for-printing-bidnings
January 3, 2024 12:03 2m 21s
Switch for printing bidnings for CPN unfolding Build MacOS #114: Pull request #40 synchronize by srba
January 3, 2024 12:03 7m 46s Switch-for-printing-bidnings
Switch-for-printing-bidnings
January 3, 2024 12:03 7m 46s
Build Linux Build Linux #117: Manually run by srba
January 1, 2024 17:46 2m 30s main
main
January 1, 2024 17:46 2m 30s
Build Linux Build Linux #116: Manually run by srba
December 31, 2023 16:14 47s main
main
December 31, 2023 16:14 47s
Switch for printing bidnings for CPN unfolding Build Windows (Cross Compile) #110: Pull request #40 opened by srba
December 31, 2023 16:08 3m 13s Switch-for-printing-bidnings
Switch-for-printing-bidnings
December 31, 2023 16:08 3m 13s
Switch for printing bidnings for CPN unfolding Build MacOS #113: Pull request #40 opened by srba
December 31, 2023 16:08 7m 37s Switch-for-printing-bidnings
Switch-for-printing-bidnings
December 31, 2023 16:08 7m 37s
Switch for printing bidnings for CPN unfolding Build Linux #115: Pull request #40 opened by srba
December 31, 2023 16:08 2m 34s Switch-for-printing-bidnings
Switch-for-printing-bidnings
December 31, 2023 16:08 2m 34s
Merge pull request #39 from mads256h/main Build MacOS #112: Commit 7f43447 pushed by srba
October 30, 2023 12:32 7m 51s main
main
October 30, 2023 12:32 7m 51s
Merge pull request #39 from mads256h/main Build Windows (Cross Compile) #109: Commit 7f43447 pushed by srba
October 30, 2023 12:32 4m 10s main
main
October 30, 2023 12:32 4m 10s
Merge pull request #39 from mads256h/main Build Linux #114: Commit 7f43447 pushed by srba
October 30, 2023 12:32 4m 9s main
main
October 30, 2023 12:32 4m 9s
ProTip! You can narrow down the results and go further in time using created:<2023-10-30 or the other filters available.