Skip to content

Actions: GaloisInc/VERSE-Toolchain

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
333 workflow runs
333 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add note re code lens appearance OCaml CI #71: Pull request #172 opened by septract
February 24, 2025 19:52 6m 0s mdd/lens-note
mdd/lens-note
February 24, 2025 19:52 6m 0s
ci: upload client with bundled server as artifact OCaml CI #70: Pull request #169 synchronize by samcowger
February 21, 2025 23:38 5m 31s sc/ci-dist
sc/ci-dist
February 21, 2025 23:38 5m 31s
ci: upload client with bundled server as artifact CN LSP CI #5: Pull request #169 synchronize by samcowger
February 21, 2025 23:38 6m 55s sc/ci-dist
sc/ci-dist
February 21, 2025 23:38 6m 55s
ci: upload client with bundled server as artifact CN Client CI #132: Pull request #169 synchronize by samcowger
February 21, 2025 23:38 21s sc/ci-dist
sc/ci-dist
February 21, 2025 23:38 21s
Merge pull request #171 from GaloisInc/sc/save-on-file-verify CN Client CI #131: Commit a15e943 pushed by samcowger
February 21, 2025 23:22 20s main
main
February 21, 2025 23:22 20s
Merge pull request #171 from GaloisInc/sc/save-on-file-verify OCaml CI #69: Commit a15e943 pushed by samcowger
February 21, 2025 23:22 5m 24s main
main
February 21, 2025 23:22 5m 24s
client: avoid duplicating verification if it happens on save OCaml CI #68: Pull request #171 synchronize by samcowger
February 21, 2025 23:13 5m 57s sc/save-on-file-verify
sc/save-on-file-verify
February 21, 2025 23:13 5m 57s
client: avoid duplicating verification if it happens on save CN Client CI #130: Pull request #171 synchronize by samcowger
February 21, 2025 23:13 26s sc/save-on-file-verify
sc/save-on-file-verify
February 21, 2025 23:13 26s
client: avoid duplicating verification if it happens on save OCaml CI #67: Pull request #171 opened by samcowger
February 21, 2025 23:12 28s sc/save-on-file-verify
sc/save-on-file-verify
February 21, 2025 23:12 28s
client: avoid duplicating verification if it happens on save CN Client CI #129: Pull request #171 opened by samcowger
February 21, 2025 23:12 28s sc/save-on-file-verify
sc/save-on-file-verify
February 21, 2025 23:12 28s