Skip to content

Actions: runtimeverification/kontrol-demo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 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
Bring repo up to date CI #16: Pull request #19 synchronize by anvacaru
July 22, 2024 10:03 37m 38s update
update
July 22, 2024 10:03 37m 38s
Bring repo up to date CI #15: Pull request #19 synchronize by anvacaru
July 22, 2024 09:39 3m 53s update
update
July 22, 2024 09:39 3m 53s
Bring repo up to date CI #14: Pull request #19 opened by anvacaru
July 22, 2024 06:58 5m 36s update
update
July 22, 2024 06:58 5m 36s