Skip to content

Actions: TAPAAL/verifydtapn

Actions

Build Windows (Cross Compile)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-win.yml
100 workflow runs
100 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #50 from tand00/main Build Windows (Cross Compile) #212: Commit 0b7619c pushed by srba
October 17, 2024 13:38 3m 42s main
main
October 17, 2024 13:38 3m 42s
Fixed inhibitors when a transition have no input arcs preset Build Windows (Cross Compile) #211: Pull request #50 opened by tand00
October 17, 2024 12:14 3m 48s tand00:main
tand00:main
October 17, 2024 12:14 3m 48s
Merge pull request #49 from tand00/main Build Windows (Cross Compile) #210: Commit 30494fd pushed by srba
September 25, 2024 20:26 3m 42s main
main
September 25, 2024 20:26 3m 42s
Truncate SMC run lengths and durations to the query bound, and unified weight format Build Windows (Cross Compile) #209: Pull request #49 synchronize by tand00
September 23, 2024 12:10 3m 41s tand00:main
tand00:main
September 23, 2024 12:10 3m 41s
Truncate SMC run lengths and durations to the query bound, and unified weight format Build Windows (Cross Compile) #208: Pull request #49 synchronize by tand00
September 23, 2024 06:57 3m 29s tand00:main
tand00:main
September 23, 2024 06:57 3m 29s
Truncate SMC run lengths and durations to the query bound, and unified weight format Build Windows (Cross Compile) #207: Pull request #49 opened by tand00
September 23, 2024 06:05 3m 35s tand00:main
tand00:main
September 23, 2024 06:05 3m 35s
Merge pull request #48 from tand00/main Build Windows (Cross Compile) #206: Commit 19ea514 pushed by srba
September 17, 2024 20:58 3m 50s main
main
September 17, 2024 20:58 3m 50s
Fallback to CPP standard RNG Build Windows (Cross Compile) #205: Pull request #48 opened by tand00
September 17, 2024 20:44 4m 3s tand00:main
tand00:main
September 17, 2024 20:44 4m 3s
Merge pull request #43 from tand00/main Build Windows (Cross Compile) #204: Commit 6ed88bc pushed by srba
September 17, 2024 13:00 3m 45s main
main
September 17, 2024 13:00 3m 45s
SMC features for discrete verification Build Windows (Cross Compile) #203: Pull request #43 synchronize by tand00
September 17, 2024 12:50 3m 45s tand00:main
tand00:main
September 17, 2024 12:50 3m 45s
SMC features for discrete verification Build Windows (Cross Compile) #202: Pull request #43 synchronize by tand00
September 17, 2024 11:52 12s tand00:main
tand00:main
September 17, 2024 11:52 12s
SMC features for discrete verification Build Windows (Cross Compile) #201: Pull request #43 synchronize by tand00
September 6, 2024 11:56 3m 54s tand00:main
tand00:main
September 6, 2024 11:56 3m 54s
SMC features for discrete verification Build Windows (Cross Compile) #200: Pull request #43 synchronize by tand00
September 6, 2024 11:47 3m 33s tand00:main
tand00:main
September 6, 2024 11:47 3m 33s
SMC features for discrete verification Build Windows (Cross Compile) #199: Pull request #43 synchronize by tand00
September 6, 2024 06:25 3m 49s tand00:main
tand00:main
September 6, 2024 06:25 3m 49s
SMC features for discrete verification Build Windows (Cross Compile) #198: Pull request #43 synchronize by tand00
September 3, 2024 07:20 3m 56s tand00:main
tand00:main
September 3, 2024 07:20 3m 56s
SMC features for discrete verification Build Windows (Cross Compile) #197: Pull request #43 synchronize by tand00
August 27, 2024 09:50 3m 46s tand00:main
tand00:main
August 27, 2024 09:50 3m 46s
SMC features for discrete verification Build Windows (Cross Compile) #196: Pull request #43 synchronize by tand00
August 23, 2024 06:09 3m 55s tand00:main
tand00:main
August 23, 2024 06:09 3m 55s
SMC features for discrete verification Build Windows (Cross Compile) #195: Pull request #43 synchronize by tand00
August 22, 2024 12:57 4m 5s tand00:main
tand00:main
August 22, 2024 12:57 4m 5s
SMC features for discrete verification Build Windows (Cross Compile) #194: Pull request #43 synchronize by tand00
August 22, 2024 05:56 3m 38s tand00:main
tand00:main
August 22, 2024 05:56 3m 38s
SMC features for discrete verification Build Windows (Cross Compile) #193: Pull request #43 synchronize by tand00
August 21, 2024 14:03 3m 53s tand00:main
tand00:main
August 21, 2024 14:03 3m 53s
SMC features for discrete verification Build Windows (Cross Compile) #192: Pull request #43 synchronize by tand00
August 21, 2024 08:19 3m 54s tand00:main
tand00:main
August 21, 2024 08:19 3m 54s
SMC features for discrete verification Build Windows (Cross Compile) #191: Pull request #43 synchronize by tand00
August 19, 2024 12:35 4m 18s tand00:main
tand00:main
August 19, 2024 12:35 4m 18s
SMC features for discrete verification Build Windows (Cross Compile) #190: Pull request #43 synchronize by tand00
August 19, 2024 08:17 4m 21s tand00:main
tand00:main
August 19, 2024 08:17 4m 21s
SMC features for discrete verification Build Windows (Cross Compile) #189: Pull request #43 synchronize by tand00
August 16, 2024 13:38 3m 43s tand00:main
tand00:main
August 16, 2024 13:38 3m 43s
SMC features for discrete verification Build Windows (Cross Compile) #188: Pull request #43 synchronize by tand00
August 16, 2024 13:18 3m 56s tand00:main
tand00:main
August 16, 2024 13:18 3m 56s