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

Merge pull request #139 from GaloisInc/sc/dune-package-reorg CN Client CI #53: Commit 796868f pushed by samcowger
January 8, 2025 00:11 24s main
main
January 8, 2025 00:11 24s
server, telemetry: unify packages into single dune project CN Client CI #52: Pull request #139 synchronize by samcowger
January 8, 2025 00:03 22s sc/dune-package-reorg
sc/dune-package-reorg
January 8, 2025 00:03 22s
server, telemetry: unify packages into single dune project CN Server CI #70: Pull request #139 synchronize by samcowger
January 8, 2025 00:03 3m 50s sc/dune-package-reorg
sc/dune-package-reorg
January 8, 2025 00:03 3m 50s
server, telemetry: unify packages into single dune project Telemetry CI #9: Pull request #139 synchronize by samcowger
January 8, 2025 00:03 2m 10s sc/dune-package-reorg
sc/dune-package-reorg
January 8, 2025 00:03 2m 10s
Coq proof synthesis plugin for VSCode CN Client CI #51: Pull request #134 synchronize by spernsteiner
January 7, 2025 23:55 21s coq-synthesis-vscode
coq-synthesis-vscode
January 7, 2025 23:55 21s
Coq proof synthesis plugin for VSCode Telemetry CI #8: Pull request #134 synchronize by spernsteiner
January 7, 2025 23:55 46s coq-synthesis-vscode
coq-synthesis-vscode
January 7, 2025 23:55 46s
Coq proof synthesis plugin for VSCode CN Server CI #69: Pull request #134 synchronize by spernsteiner
January 7, 2025 23:55 2m 2s coq-synthesis-vscode
coq-synthesis-vscode
January 7, 2025 23:55 2m 2s
server, telemetry: unify packages into single dune project CN Client CI #50: Pull request #139 synchronize by samcowger
January 7, 2025 23:52 22s sc/dune-package-reorg
sc/dune-package-reorg
January 7, 2025 23:52 22s
server, telemetry: unify packages into single dune project CN Server CI #68: Pull request #139 synchronize by samcowger
January 7, 2025 23:52 7m 16s sc/dune-package-reorg
sc/dune-package-reorg
January 7, 2025 23:52 7m 16s
server, telemetry: unify packages into single dune project Telemetry CI #7: Pull request #139 synchronize by samcowger
January 7, 2025 23:52 5m 43s sc/dune-package-reorg
sc/dune-package-reorg
January 7, 2025 23:52 5m 43s
Coq proof synthesis plugin for VSCode CN Client CI #49: Pull request #134 synchronize by spernsteiner
January 7, 2025 17:23 26s coq-synthesis-vscode
coq-synthesis-vscode
January 7, 2025 17:23 26s
Coq proof synthesis plugin for VSCode CN Server CI #67: Pull request #134 synchronize by spernsteiner
January 7, 2025 17:23 11m 37s coq-synthesis-vscode
coq-synthesis-vscode
January 7, 2025 17:23 11m 37s
Coq proof synthesis plugin for VSCode Telemetry CI #6: Pull request #134 synchronize by spernsteiner
January 7, 2025 17:23 8m 12s coq-synthesis-vscode
coq-synthesis-vscode
January 7, 2025 17:23 8m 12s
server, telemetry: unify packages into single dune project CN Client CI #48: Pull request #139 synchronize by samcowger
December 19, 2024 21:43 26s sc/dune-package-reorg
sc/dune-package-reorg
December 19, 2024 21:43 26s
server, telemetry: unify packages into single dune project CN Server CI #66: Pull request #139 synchronize by samcowger
December 19, 2024 21:43 4m 6s sc/dune-package-reorg
sc/dune-package-reorg
December 19, 2024 21:43 4m 6s
server, telemetry: unify packages into single dune project Telemetry CI #5: Pull request #139 synchronize by samcowger
December 19, 2024 21:43 2m 47s sc/dune-package-reorg
sc/dune-package-reorg
December 19, 2024 21:43 2m 47s
server, telemetry: unify packages into single dune project Telemetry CI #4: Pull request #139 opened by samcowger
December 19, 2024 17:59 1m 10s sc/dune-package-reorg
sc/dune-package-reorg
December 19, 2024 17:59 1m 10s
server, telemetry: unify packages into single dune project CN Server CI #65: Pull request #139 opened by samcowger
December 19, 2024 17:59 1m 41s sc/dune-package-reorg
sc/dune-package-reorg
December 19, 2024 17:59 1m 41s
server, telemetry: unify packages into single dune project CN Client CI #47: Pull request #139 opened by samcowger
December 19, 2024 17:59 27s sc/dune-package-reorg
sc/dune-package-reorg
December 19, 2024 17:59 27s
Merge pull request #137 from GaloisInc/sc/telemetry CN Client CI #46: Commit e4f311e pushed by samcowger
December 19, 2024 16:31 26s main
main
December 19, 2024 16:31 26s
Merge pull request #137 from GaloisInc/sc/telemetry Telemetry CI #3: Commit e4f311e pushed by samcowger
December 19, 2024 16:31 8m 30s main
main
December 19, 2024 16:31 8m 30s
Merge pull request #137 from GaloisInc/sc/telemetry CN Server CI #64: Commit e4f311e pushed by samcowger
December 19, 2024 16:31 1m 19s main
main
December 19, 2024 16:31 1m 19s
Coq proof synthesis plugin for VSCode CN Client CI #45: Pull request #134 synchronize by spernsteiner
December 19, 2024 00:11 25s coq-synthesis-vscode
coq-synthesis-vscode
December 19, 2024 00:11 25s
Coq proof synthesis plugin for VSCode CN Server CI #63: Pull request #134 synchronize by spernsteiner
December 19, 2024 00:11 1m 16s coq-synthesis-vscode
coq-synthesis-vscode
December 19, 2024 00:11 1m 16s
telemetry: library for creating, storing, and reading events Telemetry CI #2: Pull request #137 synchronize by samcowger
December 18, 2024 00:35 4m 48s sc/telemetry
sc/telemetry
December 18, 2024 00:35 4m 48s