Skip to content

Actions: TAPAAL/verifydtapn

Actions

Build MacOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-macos.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 MacOS #215: Commit 0b7619c pushed by srba
October 17, 2024 13:38 6m 22s main
main
October 17, 2024 13:38 6m 22s
Fixed inhibitors when a transition have no input arcs preset Build MacOS #214: Pull request #50 opened by tand00
October 17, 2024 12:14 9m 30s tand00:main
tand00:main
October 17, 2024 12:14 9m 30s
Merge pull request #49 from tand00/main Build MacOS #213: Commit 30494fd pushed by srba
September 25, 2024 20:26 7m 1s main
main
September 25, 2024 20:26 7m 1s
Truncate SMC run lengths and durations to the query bound, and unified weight format Build MacOS #212: Pull request #49 synchronize by tand00
September 23, 2024 12:10 6m 30s tand00:main
tand00:main
September 23, 2024 12:10 6m 30s
Truncate SMC run lengths and durations to the query bound, and unified weight format Build MacOS #211: Pull request #49 synchronize by tand00
September 23, 2024 06:57 7m 44s tand00:main
tand00:main
September 23, 2024 06:57 7m 44s
Truncate SMC run lengths and durations to the query bound, and unified weight format Build MacOS #210: Pull request #49 opened by tand00
September 23, 2024 06:05 6m 15s tand00:main
tand00:main
September 23, 2024 06:05 6m 15s
Merge pull request #48 from tand00/main Build MacOS #209: Commit 19ea514 pushed by srba
September 17, 2024 20:58 7m 20s main
main
September 17, 2024 20:58 7m 20s
Fallback to CPP standard RNG Build MacOS #208: Pull request #48 opened by tand00
September 17, 2024 20:44 6m 26s tand00:main
tand00:main
September 17, 2024 20:44 6m 26s
Merge pull request #43 from tand00/main Build MacOS #207: Commit 6ed88bc pushed by srba
September 17, 2024 13:00 7m 23s main
main
September 17, 2024 13:00 7m 23s
SMC features for discrete verification Build MacOS #206: Pull request #43 synchronize by tand00
September 17, 2024 12:50 8m 16s tand00:main
tand00:main
September 17, 2024 12:50 8m 16s
SMC features for discrete verification Build MacOS #205: 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 MacOS #204: Pull request #43 synchronize by tand00
September 6, 2024 11:56 7m 17s tand00:main
tand00:main
September 6, 2024 11:56 7m 17s
SMC features for discrete verification Build MacOS #203: Pull request #43 synchronize by tand00
September 6, 2024 11:47 6m 46s tand00:main
tand00:main
September 6, 2024 11:47 6m 46s
SMC features for discrete verification Build MacOS #202: Pull request #43 synchronize by tand00
September 6, 2024 06:25 8m 40s tand00:main
tand00:main
September 6, 2024 06:25 8m 40s
SMC features for discrete verification Build MacOS #201: Pull request #43 synchronize by tand00
September 3, 2024 07:20 7m 4s tand00:main
tand00:main
September 3, 2024 07:20 7m 4s
SMC features for discrete verification Build MacOS #200: Pull request #43 synchronize by tand00
August 27, 2024 09:50 9m 31s tand00:main
tand00:main
August 27, 2024 09:50 9m 31s
SMC features for discrete verification Build MacOS #199: Pull request #43 synchronize by tand00
August 23, 2024 06:09 8m 2s tand00:main
tand00:main
August 23, 2024 06:09 8m 2s
SMC features for discrete verification Build MacOS #198: Pull request #43 synchronize by tand00
August 22, 2024 12:57 6m 43s tand00:main
tand00:main
August 22, 2024 12:57 6m 43s
SMC features for discrete verification Build MacOS #197: Pull request #43 synchronize by tand00
August 22, 2024 05:56 5m 57s tand00:main
tand00:main
August 22, 2024 05:56 5m 57s
SMC features for discrete verification Build MacOS #196: Pull request #43 synchronize by tand00
August 21, 2024 14:03 7m 20s tand00:main
tand00:main
August 21, 2024 14:03 7m 20s
SMC features for discrete verification Build MacOS #195: Pull request #43 synchronize by tand00
August 21, 2024 08:19 9m 10s tand00:main
tand00:main
August 21, 2024 08:19 9m 10s
SMC features for discrete verification Build MacOS #194: Pull request #43 synchronize by tand00
August 19, 2024 12:35 5m 51s tand00:main
tand00:main
August 19, 2024 12:35 5m 51s
SMC features for discrete verification Build MacOS #193: Pull request #43 synchronize by tand00
August 19, 2024 08:17 6m 15s tand00:main
tand00:main
August 19, 2024 08:17 6m 15s
SMC features for discrete verification Build MacOS #192: Pull request #43 synchronize by tand00
August 16, 2024 13:38 7m 36s tand00:main
tand00:main
August 16, 2024 13:38 7m 36s
SMC features for discrete verification Build MacOS #191: Pull request #43 synchronize by tand00
August 16, 2024 13:18 7m 24s tand00:main
tand00:main
August 16, 2024 13:18 7m 24s