Skip to content

Actions: runtimeverification/kontrol-demo

Actions

Kontrol CI Demo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Wonderland demo tests Kontrol CI Demo #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 Kontrol CI Demo #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 Kontrol CI Demo #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 Kontrol CI Demo #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 Kontrol CI Demo #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 Kontrol CI Demo #14: Pull request #19 opened by anvacaru
July 22, 2024 06:58 5m 36s update
update
July 22, 2024 06:58 5m 36s
Feature/foundry to kontrol Kontrol CI Demo #12: Pull request #17 synchronize by F-WRunTime
April 3, 2024 18:42 5m 0s feature/foundry-to-kontrol
feature/foundry-to-kontrol
April 3, 2024 18:42 5m 0s
Feature/foundry to kontrol Kontrol CI Demo #11: Pull request #17 synchronize by F-WRunTime
April 3, 2024 02:27 4m 54s feature/foundry-to-kontrol
feature/foundry-to-kontrol
April 3, 2024 02:27 4m 54s
Feature/foundry to kontrol Kontrol CI Demo #10: Pull request #17 synchronize by F-WRunTime
March 29, 2024 19:17 32s feature/foundry-to-kontrol
feature/foundry-to-kontrol
March 29, 2024 19:17 32s
Feature/foundry to kontrol Kontrol CI Demo #9: Pull request #17 synchronize by F-WRunTime
March 29, 2024 19:12 37s feature/foundry-to-kontrol
feature/foundry-to-kontrol
March 29, 2024 19:12 37s
Move to intall-kontrol action and run kontrol intead of foundry Kontrol CI Demo #8: Pull request #16 synchronize by F-WRunTime
March 29, 2024 18:54 1m 0s feature/foundry-to-kontrol
feature/foundry-to-kontrol
March 29, 2024 18:54 1m 0s
Move to intall-kontrol action and run kontrol intead of foundry Kontrol CI Demo #7: Pull request #16 synchronize by F-WRunTime
March 29, 2024 18:47 1m 57s feature/foundry-to-kontrol
feature/foundry-to-kontrol
March 29, 2024 18:47 1m 57s
Move to intall-kontrol action and run kontrol intead of foundry Kontrol CI Demo #6: Pull request #16 synchronize by F-WRunTime
March 29, 2024 16:10 29s feature/foundry-to-kontrol
feature/foundry-to-kontrol
March 29, 2024 16:10 29s
Move to intall-kontrol action and run kontrol intead of foundry Kontrol CI Demo #5: Pull request #16 synchronize by F-WRunTime
March 29, 2024 16:07 31s feature/foundry-to-kontrol
feature/foundry-to-kontrol
March 29, 2024 16:07 31s
Move to intall-kontrol action and run kontrol intead of foundry Kontrol CI Demo #4: Pull request #16 synchronize by F-WRunTime
March 29, 2024 03:10 26s feature/foundry-to-kontrol
feature/foundry-to-kontrol
March 29, 2024 03:10 26s
Move to intall-kontrol action and run kontrol intead of foundry Kontrol CI Demo #3: Pull request #16 synchronize by F-WRunTime
March 29, 2024 03:08 27s feature/foundry-to-kontrol
feature/foundry-to-kontrol
March 29, 2024 03:08 27s
Kontrol CI Demo Kontrol CI Demo #2: Manually run by F-WRunTime
March 29, 2024 03:07 46s feature/foundry-to-kontrol
feature/foundry-to-kontrol
March 29, 2024 03:07 46s
Kontrol CI Demo Kontrol CI Demo #1: Manually run by F-WRunTime
March 28, 2024 22:25 1m 30s feature/foundry-to-kontrol
feature/foundry-to-kontrol
March 28, 2024 22:25 1m 30s