Skip to content

Actions: runtimeverification/kontrol-demo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

save tests CI #21: Commit df5a080 pushed by anvacaru
April 30, 2025 07:18 23s to-be-removed
to-be-removed
April 30, 2025 07:18 23s
Add Wonderland demo tests CI #20: Pull request #20 synchronize by palinatolmach
January 7, 2025 12:22 38s wonderland
wonderland
January 7, 2025 12:22 38s
Add Wonderland demo tests CI #19: Pull request #20 reopened by palinatolmach
September 5, 2024 13:53 27m 37s wonderland
wonderland
September 5, 2024 13:53 27m 37s
Add Wonderland demo tests CI #18: Pull request #20 synchronize by palinatolmach
September 5, 2024 13:53 3s wonderland
wonderland
September 5, 2024 13:53 3s
Add Wonderland demo tests CI #17: Pull request #20 opened by palinatolmach
September 5, 2024 13:39 16m 41s wonderland
wonderland
September 5, 2024 13:39 16m 41s