Skip to content

Actions: GaloisInc/VERSE-Toolchain

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
343 workflow runs
343 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq proof synthesis plugin for VSCode CN LSP CI #26: Pull request #134 synchronize by spernsteiner
March 28, 2025 23:36 9m 24s coq-synthesis-vscode
coq-synthesis-vscode
March 28, 2025 23:36 9m 24s
Add tech note documenting our demo plan for MKM (#183) CN LSP CI #25: Commit 50a8475 pushed by septract
March 19, 2025 00:46 11m 25s main
main
March 19, 2025 00:46 11m 25s
Add tech note documenting our demo plan for MKM CN LSP CI #24: Pull request #183 opened by septract
March 18, 2025 22:06 31m 9s mdd/cn-mkm-demo-mar25
mdd/cn-mkm-demo-mar25
March 18, 2025 22:06 31m 9s
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
Merge pull request #172 from GaloisInc/mdd/lens-note OCaml CI #72: Commit 34c9611 pushed by septract
February 24, 2025 20:03 5m 44s main
main
February 24, 2025 20:03 5m 44s
Merge pull request #172 from GaloisInc/mdd/lens-note CN Client CI #134: Commit 34c9611 pushed by septract
February 24, 2025 20:03 27s main
main
February 24, 2025 20:03 27s
Add note re code lens appearance CN Client CI #133: Pull request #172 opened by septract
February 24, 2025 19:52 23s mdd/lens-note
mdd/lens-note
February 24, 2025 19:52 23s