Skip to content

Actions: GaloisInc/VERSE-Toolchain

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
216 workflow runs
216 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CN server: use local switches for installation instructions and in CI CN Server CI #50: Pull request #132 synchronize by samcowger
November 13, 2024 19:05 2m 39s sc/opam-switch-instructions
sc/opam-switch-instructions
November 13, 2024 19:05 2m 39s
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 Server CI #49: Pull request #130 synchronize by samcowger
November 12, 2024 21:45 14m 19s sc/ci-server-binary
sc/ci-server-binary
November 12, 2024 21:45 14m 19s
CI: upload server binary CN Server CI #48: Pull request #130 synchronize by samcowger
November 12, 2024 21:44 40s sc/ci-server-binary
sc/ci-server-binary
November 12, 2024 21:44 40s
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 Server CI #47: Pull request #132 synchronize by samcowger
November 12, 2024 21:38 1m 46s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 21:38 1m 46s
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 Server CI #46: Pull request #130 synchronize by samcowger
November 12, 2024 20:11 47s sc/ci-server-binary
sc/ci-server-binary
November 12, 2024 20:11 47s
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 Server CI #45: Pull request #132 synchronize by samcowger
November 12, 2024 20:07 2m 2s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 20:07 2m 2s
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 Server CI #44: Pull request #132 synchronize by samcowger
November 12, 2024 19:58 1m 48s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:58 1m 48s
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 Server CI #43: Pull request #132 synchronize by samcowger
November 12, 2024 19:55 1m 26s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:55 1m 26s
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 Server CI #42: Pull request #132 synchronize by samcowger
November 12, 2024 19:42 1m 27s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:42 1m 27s
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 Server CI #41: Pull request #132 synchronize by samcowger
November 12, 2024 19:19 14m 34s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:19 14m 34s
CN server: use local switches for installation instructions and in CI CN Server CI #40: Pull request #132 synchronize by samcowger
November 12, 2024 19:16 3m 15s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:16 3m 15s
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 Server CI #39: Pull request #132 opened by samcowger
November 12, 2024 19:12 3m 33s sc/opam-switch-instructions
sc/opam-switch-instructions
November 12, 2024 19:12 3m 33s
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