Skip to content

Actions: convince-project/smc_storm

Actions

Deploy Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy_pages.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update namespace for storm file utils (#25) Deploy Pages #23: Commit b3f87e8 pushed by MarcoLm993
January 8, 2025 13:57 51s main
main
January 8, 2025 13:57 51s
Add possibility to output only failing traces (#24) Deploy Pages #22: Commit 6468c27 pushed by MarcoLm993
November 14, 2024 09:01 1m 12s main
main
November 14, 2024 09:01 1m 12s
Fix buggy casting in traces exporter (#23) Deploy Pages #21: Commit 78831dc pushed by MarcoLm993
November 13, 2024 08:21 54s main
main
November 13, 2024 08:21 54s
Remove CONVINCE from std out (#22) Deploy Pages #20: Commit ed5fc92 pushed by MarcoLm993
October 30, 2024 07:43 1h 34m 18s main
main
October 30, 2024 07:43 1h 34m 18s
Move classes to better fitting namespaces and fix potential issues (#21) Deploy Pages #19: Commit bee2be1 pushed by MarcoLm993
October 23, 2024 08:10 46s main
main
October 23, 2024 08:10 46s
Introduce StateDescription class and add template arguments for runni… Deploy Pages #18: Commit 02fadd6 pushed by MarcoLm993
October 22, 2024 14:57 48s main
main
October 22, 2024 14:57 48s
Upgrade C++ version to 20 (#19) Deploy Pages #17: Commit a889d0a pushed by MarcoLm993
October 17, 2024 17:11 56s main
main
October 17, 2024 17:11 56s
Integrate complete array support (#17) Deploy Pages #16: Commit 81b2dcd pushed by MarcoLm993
August 28, 2024 07:05 53s main
main
August 28, 2024 07:05 53s
Support p properties in more cases (#16) Deploy Pages #15: Commit 7e773fb pushed by MarcoLm993
August 27, 2024 11:37 1m 17s main
main
August 27, 2024 11:37 1m 17s
Introduce threads buffer (#15) Deploy Pages #14: Commit 56a721f pushed by MarcoLm993
August 8, 2024 09:02 49s main
main
August 8, 2024 09:02 49s
Adjust chrpath for lib dependencies Deploy Pages #13: Commit 3ff335d pushed by MarcoLm993
July 30, 2024 12:06 45s main
main
July 30, 2024 12:06 45s
Support prism and multiple properties (#13) Deploy Pages #12: Commit 14031d0 pushed by MarcoLm993
July 30, 2024 08:41 45s main
main
July 30, 2024 08:41 45s
Target latest storm version (#12) Deploy Pages #11: Commit 2c14ddd pushed by MarcoLm993
July 19, 2024 19:51 50s main
main
July 19, 2024 19:51 50s
Add clang format check (#11) Deploy Pages #10: Commit 7cbbc8e pushed by MarcoLm993
June 21, 2024 14:04 48s main
main
June 21, 2024 14:04 48s
Update storm version (#10) Deploy Pages #9: Commit 06d8b4b pushed by MarcoLm993
June 18, 2024 07:25 1m 1s main
main
June 18, 2024 07:25 1m 1s
Improve deployment installation (#9) Deploy Pages #8: Commit addad6f pushed by MarcoLm993
June 14, 2024 08:56 47s main
main
June 14, 2024 08:56 47s
Add content write permission for release job (#8) Deploy Pages #7: Commit 0e57819 pushed by MarcoLm993
June 13, 2024 11:57 49s main
main
June 13, 2024 11:57 49s
Add content write permission for release job (#8) Deploy Pages #6: Commit 0265b60 pushed by MarcoLm993
June 13, 2024 11:50 45s main
main
June 13, 2024 11:50 45s
Add content write permission for release job (#8) Deploy Pages #5: Commit b0fd5c0 pushed by MarcoLm993
June 13, 2024 11:49 48s main
main
June 13, 2024 11:49 48s
Add automatic build and test (#6) Deploy Pages #4: Commit 4721a4f pushed by MarcoLm993
June 13, 2024 11:44 51s main
main
June 13, 2024 11:44 51s
Add content write permission for release job (#8) Deploy Pages #3: Commit b0fd5c0 pushed by MarcoLm993
June 13, 2024 11:20 47s main
main
June 13, 2024 11:20 47s
adding release step (#7) Deploy Pages #2: Commit e2b30ac pushed by ct2034
June 13, 2024 09:56 49s main
main
June 13, 2024 09:56 49s
Add automatic build and test (#6) Deploy Pages #1: Commit 4721a4f pushed by MarcoLm993
June 10, 2024 07:19 1m 6s main
main
June 10, 2024 07:19 1m 6s