Skip to content

Actions: convince-project/smc_storm

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update namespace for storm file utils
Build tests and archive executable #110: Pull request #25 synchronize by MarcoLm993
January 7, 2025 15:57 3m 43s
Update namespace for storm file utils
Build tests and archive executable #109: Pull request #25 synchronize by MarcoLm993
January 7, 2025 15:03 44m 3s
Update namespace for storm file utils
Build tests and archive executable #108: Pull request #25 synchronize by MarcoLm993
January 7, 2025 15:02 53s
Update namespace for storm file utils
Build tests and archive executable #107: Pull request #25 synchronize by MarcoLm993
January 7, 2025 13:23 45m 13s
Update namespace for storm file utils
Build tests and archive executable #106: Pull request #25 opened by MarcoLm993
January 7, 2025 10:41 43m 37s
Build tests and archive executable
Build tests and archive executable #105: Scheduled
January 5, 2025 01:38 39m 29s main
January 5, 2025 01:38 39m 29s
Build tests and archive executable
Build tests and archive executable #104: Scheduled
December 29, 2024 01:39 38m 54s main
December 29, 2024 01:39 38m 54s
Build tests and archive executable
Build tests and archive executable #103: Scheduled
December 22, 2024 01:38 46m 20s main
December 22, 2024 01:38 46m 20s
Build tests and archive executable
Build tests and archive executable #102: Scheduled
December 15, 2024 01:47 36m 39s main
December 15, 2024 01:47 36m 39s
Build tests and archive executable
Build tests and archive executable #101: Scheduled
December 8, 2024 01:47 6m 20s main
December 8, 2024 01:47 6m 20s
Build tests and archive executable
Build tests and archive executable #100: Scheduled
December 1, 2024 01:53 39m 31s main
December 1, 2024 01:53 39m 31s
Build tests and archive executable
Build tests and archive executable #99: Scheduled
November 24, 2024 01:41 40m 11s main
November 24, 2024 01:41 40m 11s
Build tests and archive executable
Build tests and archive executable #98: Scheduled
November 17, 2024 01:41 6m 25s main
November 17, 2024 01:41 6m 25s
Add possibility to output only failing traces (#24)
Build tests and archive executable #97: Commit 6468c27 pushed by MarcoLm993
November 14, 2024 09:04 41m 12s 0.0.6
November 14, 2024 09:04 41m 12s
Add possibility to output only failing traces (#24)
Build tests and archive executable #96: Commit 6468c27 pushed by MarcoLm993
November 14, 2024 09:01 41m 5s main
November 14, 2024 09:01 41m 5s
Add possibility to output only failing traces (#24)
Deploy Pages #22: Commit 6468c27 pushed by MarcoLm993
November 14, 2024 09:01 1m 12s main
November 14, 2024 09:01 1m 12s
Add possibility to output only failing traces
Build tests and archive executable #95: Pull request #24 synchronize by MarcoLm993
November 14, 2024 08:18 6m 28s boschresearch:feature/output-only-failing-traces
November 14, 2024 08:18 6m 28s
Add possibility to output only failing traces
Build tests and archive executable #94: Pull request #24 opened by MarcoLm993
November 13, 2024 15:08 40m 24s boschresearch:feature/output-only-failing-traces
November 13, 2024 15:08 40m 24s
Fix buggy casting in traces exporter (#23)
Build tests and archive executable #93: Commit 78831dc pushed by MarcoLm993
November 13, 2024 08:22 6m 32s 0.0.5
November 13, 2024 08:22 6m 32s
Fix buggy casting in traces exporter (#23)
Build tests and archive executable #92: Commit 78831dc pushed by MarcoLm993
November 13, 2024 08:21 6m 42s main
November 13, 2024 08:21 6m 42s
Fix buggy casting in traces exporter (#23)
Deploy Pages #21: Commit 78831dc pushed by MarcoLm993
November 13, 2024 08:21 54s main
November 13, 2024 08:21 54s
Fix buggy casting in traces exporter
Build tests and archive executable #91: Pull request #23 opened by MarcoLm993
November 12, 2024 16:35 6m 46s boschresearch:bugfix-wrong-type-casting
November 12, 2024 16:35 6m 46s
Build tests and archive executable
Build tests and archive executable #90: Scheduled
November 10, 2024 01:35 6m 26s main
November 10, 2024 01:35 6m 26s
Build tests and archive executable
Build tests and archive executable #89: Scheduled
November 3, 2024 01:38 6m 50s main
November 3, 2024 01:38 6m 50s
Remove CONVINCE from std out (#22)
Deploy Pages #20: Commit ed5fc92 pushed by MarcoLm993
October 30, 2024 07:43 1h 34m 18s main
October 30, 2024 07:43 1h 34m 18s