Skip to content

Actions: GaloisInc/VERSE-Toolchain

Actions

CN Client CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
client-ci.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #151 from GaloisInc/sc/cn-d7d4e67 CN Client CI #84: Commit 4aff173 pushed by samcowger
January 30, 2025 19:07 24s main
main
January 30, 2025 19:07 24s
server: update CN CN Client CI #83: Pull request #151 synchronize by samcowger
January 30, 2025 17:52 23s sc/cn-d7d4e67
sc/cn-d7d4e67
January 30, 2025 17:52 23s
server: update CN CN Client CI #82: Pull request #151 opened by samcowger
January 30, 2025 17:44 22s sc/cn-d7d4e67
sc/cn-d7d4e67
January 30, 2025 17:44 22s
Merge pull request #150 from GaloisInc/sc/telemetry-errors CN Client CI #81: Commit f567a5b pushed by samcowger
January 30, 2025 16:45 28s main
main
January 30, 2025 16:45 28s
server: record summarized error contents in telemetry CN Client CI #80: Pull request #150 opened by samcowger
January 28, 2025 17:22 27s sc/telemetry-errors
sc/telemetry-errors
January 28, 2025 17:22 27s
Merge pull request #149 from GaloisInc/sc/verify-modules CN Client CI #79: Commit e8a81cf pushed by samcowger
January 28, 2025 00:57 21s main
main
January 28, 2025 00:57 21s
server: reorganize Cerberus- and CN-specific functionality into modules CN Client CI #78: Pull request #149 opened by samcowger
January 28, 2025 00:50 25s sc/verify-modules
sc/verify-modules
January 28, 2025 00:50 25s
Merge pull request #148 from GaloisInc/sc/config-telemetry CN Client CI #77: Commit 49af6be pushed by samcowger
January 28, 2025 00:37 22s main
main
January 28, 2025 00:37 22s
server: telemetry for configuration changes CN Client CI #76: Pull request #148 opened by samcowger
January 27, 2025 23:49 26s sc/config-telemetry
sc/config-telemetry
January 27, 2025 23:49 26s
Merge pull request #147 from GaloisInc/sc/user-profile-telemetry CN Client CI #75: Commit 36855d3 pushed by samcowger
January 27, 2025 17:15 22s main
main
January 27, 2025 17:15 22s
client, server: allow associating user information with telemetry CN Client CI #74: Pull request #147 opened by samcowger
January 25, 2025 01:25 21s sc/user-profile-telemetry
sc/user-profile-telemetry
January 25, 2025 01:25 21s
Merge pull request #146 from GaloisInc/sc/5.1.1 CN Client CI #73: Commit 50e3197 pushed by samcowger
January 25, 2025 00:48 21s main
main
January 25, 2025 00:48 21s
treewide: update to OCaml 5.1.1 CN Client CI #72: Pull request #146 synchronize by samcowger
January 25, 2025 00:35 25s sc/5.1.1
sc/5.1.1
January 25, 2025 00:35 25s
treewide: update to OCaml 5.1.1 CN Client CI #71: Pull request #146 opened by samcowger
January 25, 2025 00:10 24s sc/5.1.1
sc/5.1.1
January 25, 2025 00:10 24s
CN debugger: allow debugging of CN via Gillian CN Client CI #70: Pull request #128 synchronize by samcowger
January 24, 2025 18:39 24s sc/cn-debug
sc/cn-debug
January 24, 2025 18:39 24s
CN debugger: allow debugging of CN via Gillian CN Client CI #69: Pull request #128 synchronize by samcowger
January 24, 2025 18:25 23s sc/cn-debug
sc/cn-debug
January 24, 2025 18:25 23s
Merge pull request #143 from GaloisInc/sc/cn-lsp-telemetry CN Client CI #68: Commit 3f66ea6 pushed by samcowger
January 24, 2025 17:43 23s main
main
January 24, 2025 17:43 23s
client, server: record basic telemetry events CN Client CI #67: Pull request #143 synchronize by samcowger
January 22, 2025 16:33 27s sc/cn-lsp-telemetry
sc/cn-lsp-telemetry
January 22, 2025 16:33 27s
Merge pull request #145 from GaloisInc/sc/unified-ci CN Client CI #66: Commit 73fda31 pushed by samcowger
January 22, 2025 16:32 24s main
main
January 22, 2025 16:32 24s
client, server: record basic telemetry events CN Client CI #65: Pull request #143 synchronize by samcowger
January 22, 2025 16:28 27s sc/cn-lsp-telemetry
sc/cn-lsp-telemetry
January 22, 2025 16:28 27s
CI: single configuration for all OCaml packages CN Client CI #64: Pull request #145 opened by samcowger
January 22, 2025 01:36 22s sc/unified-ci
sc/unified-ci
January 22, 2025 01:36 22s
client, server: record basic telemetry events CN Client CI #63: Pull request #143 synchronize by samcowger
January 22, 2025 01:24 26s sc/cn-lsp-telemetry
sc/cn-lsp-telemetry
January 22, 2025 01:24 26s
client, server: record basic telemetry events CN Client CI #62: Pull request #143 synchronize by samcowger
January 22, 2025 01:08 23s sc/cn-lsp-telemetry
sc/cn-lsp-telemetry
January 22, 2025 01:08 23s
client, server: record basic telemetry events CN Client CI #61: Pull request #143 synchronize by samcowger
January 22, 2025 00:57 23s sc/cn-lsp-telemetry
sc/cn-lsp-telemetry
January 22, 2025 00:57 23s
client, server: record basic telemetry events CN Client CI #60: Pull request #143 synchronize by samcowger
January 22, 2025 00:10 23s sc/cn-lsp-telemetry
sc/cn-lsp-telemetry
January 22, 2025 00:10 23s