Skip to content

Actions: TAPAAL/verifydtapn

Actions

Build Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-linux.yml
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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