Skip to content

Actions: GaloisInc/VERSE-Toolchain

Actions

CN LSP CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #180 from GaloisInc/sc/doc-install-both CN LSP CI #23: Commit fcde62a pushed by samcowger
March 7, 2025 21:13 10m 14s main
main
March 7, 2025 21:13 10m 14s
doc: explicitly mention client installation CN LSP CI #22: Pull request #180 opened by samcowger
February 28, 2025 23:37 6m 17s sc/doc-install-both
sc/doc-install-both
February 28, 2025 23:37 6m 17s
Merge pull request #175 from GaloisInc/sc/telemetry-schema CN LSP CI #21: Commit b2d9b98 pushed by samcowger
February 28, 2025 22:32 7m 23s main
main
February 28, 2025 22:32 7m 23s
docs: describe current telemetry event schema and directory layout CN LSP CI #20: Pull request #175 synchronize by samcowger
February 28, 2025 21:11 6m 35s sc/telemetry-schema
sc/telemetry-schema
February 28, 2025 21:11 6m 35s
Merge pull request #177 from GaloisInc/podhrmic-patch-1 CN LSP CI #19: Commit e692a40 pushed by samcowger
February 28, 2025 18:42 9m 50s main
main
February 28, 2025 18:42 9m 50s
Add gmp as a missing dependence CN LSP CI #18: Pull request #177 opened by podhrmic
February 28, 2025 18:24 9m 42s podhrmic-patch-1
podhrmic-patch-1
February 28, 2025 18:24 9m 42s
docs: describe current telemetry event schema and directory layout CN LSP CI #17: Pull request #175 opened by samcowger
February 28, 2025 00:41 9m 10s sc/telemetry-schema
sc/telemetry-schema
February 28, 2025 00:41 9m 10s
Merge pull request #174 from GaloisInc/sc/release-instructions CN LSP CI #16: Commit 5c8d54b pushed by samcowger
February 25, 2025 02:16 7m 28s main
main
February 25, 2025 02:16 7m 28s
doc: more release-based install instructions CN LSP CI #15: Pull request #174 opened by samcowger
February 25, 2025 02:16 7m 19s sc/release-instructions
sc/release-instructions
February 25, 2025 02:16 7m 19s
Merge pull request #173 from GaloisInc/sc/release-instructions CN LSP CI #14: Commit 86445ca pushed by samcowger
February 25, 2025 01:53 8m 44s main
main
February 25, 2025 01:53 8m 44s
doc: offer release-based install instructions CN LSP CI #13: Pull request #173 synchronize by samcowger
February 25, 2025 01:11 8m 13s sc/release-instructions
sc/release-instructions
February 25, 2025 01:11 8m 13s
doc: offer release-based install instructions CN LSP CI #12: Pull request #173 opened by samcowger
February 25, 2025 01:08 3m 45s sc/release-instructions
sc/release-instructions
February 25, 2025 01:08 3m 45s
Merge pull request #169 from GaloisInc/sc/ci-dist CN LSP CI #11: Commit ecaae14 pushed by samcowger
February 24, 2025 23:34 19m 58s main
main
February 24, 2025 23:34 19m 58s
ci: upload client with bundled server as artifact CN LSP CI #10: Pull request #169 synchronize by samcowger
February 24, 2025 23:08 9m 11s sc/ci-dist
sc/ci-dist
February 24, 2025 23:08 9m 11s
ci: upload client with bundled server as artifact CN LSP CI #9: Pull request #169 synchronize by samcowger
February 24, 2025 22:52 16m 15s sc/ci-dist
sc/ci-dist
February 24, 2025 22:52 16m 15s
ci: upload client with bundled server as artifact CN LSP CI #8: Pull request #169 synchronize by samcowger
February 24, 2025 22:45 7m 25s sc/ci-dist
sc/ci-dist
February 24, 2025 22:45 7m 25s
ci: upload client with bundled server as artifact CN LSP CI #7: Pull request #169 synchronize by samcowger
February 24, 2025 22:43 1m 11s sc/ci-dist
sc/ci-dist
February 24, 2025 22:43 1m 11s
ci: upload client with bundled server as artifact CN LSP CI #6: Pull request #169 synchronize by samcowger
February 24, 2025 22:42 1m 20s sc/ci-dist
sc/ci-dist
February 24, 2025 22:42 1m 20s
ci: upload client with bundled server as artifact CN LSP CI #5: Pull request #169 synchronize by samcowger
February 24, 2025 22:07 9m 7s sc/ci-dist
sc/ci-dist
February 24, 2025 22:07 9m 7s
server: remove architecture specifiers from opam lockfile CN LSP CI #4: Commit c40e08f pushed by samcowger
August 29, 2024 16:53 24m 0s sc/ci
sc/ci
August 29, 2024 16:53 24m 0s
server: use https for git dependencies CN LSP CI #3: Commit 219d822 pushed by samcowger
August 29, 2024 16:42 2m 19s sc/ci
sc/ci
August 29, 2024 16:42 2m 19s
server: use https for git dependencies CN LSP CI #2: Commit a4059ff pushed by samcowger
August 29, 2024 16:39 1m 55s sc/ci
sc/ci
August 29, 2024 16:39 1m 55s
ci: initial configuration CN LSP CI #1: Commit cf3e9b5 pushed by samcowger
August 29, 2024 00:02 6m 51s sc/ci
sc/ci
August 29, 2024 00:02 6m 51s