Skip to content

Actions: GaloisInc/VERSE-Toolchain

Actions

OCaml CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #156 from GaloisInc/sc/server-build-docs OCaml CI #36: Commit b0a9fe5 pushed by samcowger
February 18, 2025 16:46 4m 7s main
main
February 18, 2025 16:46 4m 7s
server: update build documentation OCaml CI #35: Pull request #156 synchronize by samcowger
February 18, 2025 02:55 4m 4s sc/server-build-docs
sc/server-build-docs
February 18, 2025 02:55 4m 4s
server: update build documentation OCaml CI #34: Pull request #156 opened by samcowger
February 18, 2025 02:08 4m 16s sc/server-build-docs
sc/server-build-docs
February 18, 2025 02:08 4m 16s
Merge pull request #155 from GaloisInc/sc/readme-switches OCaml CI #33: Commit d9db9ea pushed by samcowger
February 18, 2025 01:50 4m 19s main
main
February 18, 2025 01:50 4m 19s
client: installation and configuration instruction updates OCaml CI #32: Pull request #155 synchronize by samcowger
February 18, 2025 01:43 4m 13s sc/readme-switches
sc/readme-switches
February 18, 2025 01:43 4m 13s
client: installation and configuration instruction updates OCaml CI #31: Pull request #155 opened by samcowger
February 18, 2025 01:33 4m 8s sc/readme-switches
sc/readme-switches
February 18, 2025 01:33 4m 8s
Merge pull request #154 from GaloisInc/sc/cn-progress OCaml CI #30: Commit bd5abe1 pushed by samcowger
February 18, 2025 01:29 4m 8s main
main
February 18, 2025 01:29 4m 8s
server: report progress during verification OCaml CI #29: Pull request #154 synchronize by samcowger
February 18, 2025 01:06 4m 17s sc/cn-progress
sc/cn-progress
February 18, 2025 01:06 4m 17s
server: report progress during verification OCaml CI #28: Pull request #154 opened by samcowger
February 18, 2025 00:42 3m 52s sc/cn-progress
sc/cn-progress
February 18, 2025 00:42 3m 52s
Merge pull request #153 from GaloisInc/sc/function-body-telemetry OCaml CI #27: Commit 67deb12 pushed by samcowger
February 14, 2025 21:32 4m 4s main
main
February 14, 2025 21:32 4m 4s
server: record function names, bodies, specs in telemetry OCaml CI #26: Pull request #153 opened by samcowger
February 14, 2025 17:25 3m 58s sc/function-body-telemetry
sc/function-body-telemetry
February 14, 2025 17:25 3m 58s
Merge pull request #152 from GaloisInc/sc/verify-one OCaml CI #25: Commit 59e27a5 pushed by samcowger
February 14, 2025 03:02 7m 14s main
main
February 14, 2025 03:02 7m 14s
client, server: allow verification of individual functions via code lenses OCaml CI #24: Pull request #152 synchronize by samcowger
February 14, 2025 02:03 4m 6s sc/verify-one
sc/verify-one
February 14, 2025 02:03 4m 6s
client, server: allow verification of individual functions via code lenses OCaml CI #23: Pull request #152 opened by samcowger
February 14, 2025 00:53 7m 25s sc/verify-one
sc/verify-one
February 14, 2025 00:53 7m 25s
Merge pull request #151 from GaloisInc/sc/cn-d7d4e67 OCaml CI #22: Commit 4aff173 pushed by samcowger
January 30, 2025 19:07 4m 15s main
main
January 30, 2025 19:07 4m 15s
server: update CN OCaml CI #21: Pull request #151 synchronize by samcowger
January 30, 2025 17:52 4m 13s sc/cn-d7d4e67
sc/cn-d7d4e67
January 30, 2025 17:52 4m 13s
server: update CN OCaml CI #20: Pull request #151 opened by samcowger
January 30, 2025 17:44 4m 16s sc/cn-d7d4e67
sc/cn-d7d4e67
January 30, 2025 17:44 4m 16s
Merge pull request #150 from GaloisInc/sc/telemetry-errors OCaml CI #19: Commit f567a5b pushed by samcowger
January 30, 2025 16:45 4m 21s main
main
January 30, 2025 16:45 4m 21s
server: record summarized error contents in telemetry OCaml CI #18: Pull request #150 opened by samcowger
January 28, 2025 17:22 4m 18s sc/telemetry-errors
sc/telemetry-errors
January 28, 2025 17:22 4m 18s
Merge pull request #149 from GaloisInc/sc/verify-modules OCaml CI #17: Commit e8a81cf pushed by samcowger
January 28, 2025 00:57 4m 23s main
main
January 28, 2025 00:57 4m 23s
server: reorganize Cerberus- and CN-specific functionality into modules OCaml CI #16: Pull request #149 opened by samcowger
January 28, 2025 00:50 4m 8s sc/verify-modules
sc/verify-modules
January 28, 2025 00:50 4m 8s
Merge pull request #148 from GaloisInc/sc/config-telemetry OCaml CI #15: Commit 49af6be pushed by samcowger
January 28, 2025 00:37 4m 5s main
main
January 28, 2025 00:37 4m 5s
server: telemetry for configuration changes OCaml CI #14: Pull request #148 opened by samcowger
January 27, 2025 23:49 4m 11s sc/config-telemetry
sc/config-telemetry
January 27, 2025 23:49 4m 11s
Merge pull request #147 from GaloisInc/sc/user-profile-telemetry OCaml CI #13: Commit 36855d3 pushed by samcowger
January 27, 2025 17:15 5m 2s main
main
January 27, 2025 17:15 5m 2s
client, server: allow associating user information with telemetry OCaml CI #12: Pull request #147 opened by samcowger
January 25, 2025 01:25 3m 58s sc/user-profile-telemetry
sc/user-profile-telemetry
January 25, 2025 01:25 3m 58s