Skip to content

Actions: ku-sldg/cvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #60: Scheduled
6m 49s main
main
6m 49s
Docker CI Docker CI #59: Scheduled
6m 44s main
main
6m 44s
Docker CI Docker CI #58: Scheduled
6m 42s main
main
6m 42s
Docker CI Docker CI #57: Scheduled
7m 0s main
main
7m 0s
Merge pull request #12 from ku-sldg/type_sys Docker CI #56: Commit 43e89fb pushed by ampetz
6m 57s main
main
6m 57s
Docker CI Docker CI #55: Scheduled
2m 29s main
main
2m 29s
Type Sys Docker CI #54: Pull request #12 opened by Durbatuluk1701
6m 25s type_sys
type_sys
6m 25s
Docker CI Docker CI #53: Scheduled
7m 14s main
main
7m 14s
Merge pull request #10 from ku-sldg/asp_calling_convention_stdin Docker CI #52: Commit 06af67a pushed by ampetz
6m 52s main
main
6m 52s
Docker CI Docker CI #51: Scheduled
6m 56s main
main
6m 56s
Changing CVM to a fork/exec style with STDIO communication Docker CI #50: Pull request #10 synchronize by Durbatuluk1701
6m 42s asp_calling_convention_stdin
asp_calling_convention_stdin
6m 42s
Addressing comment on PR #11 Copilot coding agent #1: by Copilot AI
2m 45s copilot/sub-pr-10
copilot/sub-pr-10
2m 45s
Changing CVM to a fork/exec style with STDIO communication Docker CI #47: Pull request #10 synchronize by Durbatuluk1701
6m 42s asp_calling_convention_stdin
asp_calling_convention_stdin
6m 42s
Copilot code review Copilot code review #1: by Copilot AI
8m 8s refs/pull/10/head
refs/pull/10/head
8m 8s
Changing CVM to a fork/exec style with STDIO communication Docker CI #46: Pull request #10 synchronize by Durbatuluk1701
6m 47s asp_calling_convention_stdin
asp_calling_convention_stdin
6m 47s
Changing CVM to a fork/exec style with STDIO communication Docker CI #45: Pull request #10 opened by Durbatuluk1701
6m 34s asp_calling_convention_stdin
asp_calling_convention_stdin
6m 34s
Docker CI Docker CI #44: Scheduled
7m 12s main
main
7m 12s
Merge pull request #9 from ku-sldg/coq_dep Docker CI #43: Commit 19d57e5 pushed by Durbatuluk1701
7m 0s main
main
7m 0s
Updating dependency naming Docker CI #42: Pull request #9 synchronize by Durbatuluk1701
7m 8s coq_dep
coq_dep
7m 8s
Updating dependency naming Docker CI #41: Pull request #9 synchronize by Durbatuluk1701
1m 48s coq_dep
coq_dep
1m 48s
Updating dependency naming Docker CI #40: Pull request #9 reopened by Durbatuluk1701
1m 28s coq_dep
coq_dep
1m 28s
Docker CI Docker CI #39: Scheduled
7m 20s main
main
7m 20s
Docker CI Docker CI #38: Scheduled
7m 30s main
main
7m 30s
Docker CI Docker CI #37: Scheduled
7m 6s main
main
7m 6s
Docker CI Docker CI #36: Scheduled
7m 2s main
main
7m 2s