Skip to content

Actions: GaloisInc/VERSE-Toolchain

Actions

CN Client CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq proof synthesis plugin for VSCode CN Client CI #36: Pull request #134 synchronize by spernsteiner
November 26, 2024 22:28 22s coq-synthesis-vscode
coq-synthesis-vscode
November 26, 2024 22:28 22s
Coq proof synthesis plugin for VSCode CN Client CI #35: Pull request #134 opened by spernsteiner
November 26, 2024 22:27 27s coq-synthesis-vscode
coq-synthesis-vscode
November 26, 2024 22:27 27s
CN server: use local switches for installation instructions and in CI CN Client CI #34: Pull request #132 synchronize by samcowger
November 19, 2024 02:12 23s sc/opam-switch-instructions
sc/opam-switch-instructions
November 19, 2024 02:12 23s
CN server: use local switches for installation instructions and in CI CN Client CI #33: Pull request #132 synchronize by samcowger
November 15, 2024 17:45 26s sc/opam-switch-instructions
sc/opam-switch-instructions
November 15, 2024 17:45 26s
CN server: use local switches for installation instructions and in CI CN Client CI #32: Pull request #132 synchronize by samcowger
November 13, 2024 19:05 36s sc/opam-switch-instructions
sc/opam-switch-instructions
November 13, 2024 19:05 36s
CI: upload server binary CN Client CI #31: Pull request #130 synchronize by samcowger
November 12, 2024 21:45 25s sc/ci-server-binary
sc/ci-server-binary
November 12, 2024 21:45 25s
CI: upload server binary CN Client CI #30: Pull request #130 synchronize by samcowger
November 12, 2024 21:44 25s sc/ci-server-binary
sc/ci-server-binary
November 12, 2024 21:44 25s
CN server: use local switches for installation instructions and in CI CN Client CI #29: Pull request #132 synchronize by samcowger
November 12, 2024 21:38 29s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 21:38 29s
CI: upload server binary CN Client CI #28: Pull request #130 synchronize by samcowger
November 12, 2024 20:11 44s sc/ci-server-binary
sc/ci-server-binary
November 12, 2024 20:11 44s
CN server: use local switches for installation instructions and in CI CN Client CI #27: Pull request #132 synchronize by samcowger
November 12, 2024 20:07 32s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 20:07 32s
CN server: use local switches for installation instructions and in CI CN Client CI #26: Pull request #132 synchronize by samcowger
November 12, 2024 19:58 28s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:58 28s
CN server: use local switches for installation instructions and in CI CN Client CI #25: Pull request #132 synchronize by samcowger
November 12, 2024 19:54 34s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:54 34s
CN server: use local switches for installation instructions and in CI CN Client CI #24: Pull request #132 synchronize by samcowger
November 12, 2024 19:42 28s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:42 28s
CN server: use local switches for installation instructions and in CI CN Client CI #23: Pull request #132 synchronize by samcowger
November 12, 2024 19:19 29s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:19 29s
CN server: use local switches for installation instructions and in CI CN Client CI #22: Pull request #132 synchronize by samcowger
November 12, 2024 19:16 24s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:16 24s
CN server: use local switches for installation instructions and in CI CN Client CI #21: Pull request #132 opened by samcowger
November 12, 2024 19:12 25s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:12 25s
CI: upload server binary CN Client CI #20: Pull request #130 synchronize by samcowger
November 11, 2024 20:24 27s sc/ci-server-binary
sc/ci-server-binary
November 11, 2024 20:24 27s
CI: upload server binary CN Client CI #19: Pull request #130 opened by samcowger
November 11, 2024 20:21 24s sc/ci-server-binary
sc/ci-server-binary
November 11, 2024 20:21 24s
CN debugger: allow debugging of CN via Gillian CN Client CI #18: Pull request #128 synchronize by samcowger
November 5, 2024 01:41 25s sc/cn-debug
sc/cn-debug
November 5, 2024 01:41 25s
CN debugger: allow debugging of CN via Gillian CN Client CI #17: Pull request #128 synchronize by samcowger
November 5, 2024 00:41 31s sc/cn-debug
sc/cn-debug
November 5, 2024 00:41 31s
Merge pull request #129 from GaloisInc/sc/remove-hs-server CN Client CI #16: Commit e8bf959 pushed by samcowger
November 5, 2024 00:40 26s main
main
November 5, 2024 00:40 26s
CN debugger: allow debugging of CN via Gillian CN Client CI #15: Pull request #128 synchronize by samcowger
November 5, 2024 00:29 31s sc/cn-debug
sc/cn-debug
November 5, 2024 00:29 31s
CN debugger: allow debugging of CN via Gillian CN Client CI #14: Pull request #128 synchronize by samcowger
November 5, 2024 00:29 24s sc/cn-debug
sc/cn-debug
November 5, 2024 00:29 24s
server: delete old Haskell implementation CN Client CI #13: Pull request #129 opened by samcowger
November 4, 2024 19:33 25s sc/remove-hs-server
sc/remove-hs-server
November 4, 2024 19:33 25s
CN debugger: allow debugging of CN via Gillian CN Client CI #12: Pull request #128 opened by samcowger
November 4, 2024 19:29 27s sc/cn-debug
sc/cn-debug
November 4, 2024 19:29 27s