Skip to content

Actions: OCamlPro/superbol-studio-oss

Actions

Main Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow.yml
980 workflow runs
980 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for the textDocument/documentSymbol LSP request Main Workflow #1105: Pull request #317 synchronize by NeoKaios
July 23, 2024 11:24 14m 3s NeoKaios:feat/document-symbol-request
NeoKaios:feat/document-symbol-request
July 23, 2024 11:24 14m 3s
Add support for the textDocument/documentSymbol LSP request Main Workflow #1104: Pull request #317 synchronize by NeoKaios
July 23, 2024 11:22 13m 41s NeoKaios:feat/document-symbol-request
NeoKaios:feat/document-symbol-request
July 23, 2024 11:22 13m 41s
Semantic completion for user-defined words depending on type Main Workflow #1103: Pull request #315 synchronize by NeoKaios
July 23, 2024 10:03 14m 29s NeoKaios:feat/semantic-completion
NeoKaios:feat/semantic-completion
July 23, 2024 10:03 14m 29s
Semantic completion for user-defined words depending on type Main Workflow #1102: Pull request #315 synchronize by NeoKaios
July 23, 2024 09:55 14m 36s NeoKaios:feat/semantic-completion
NeoKaios:feat/semantic-completion
July 23, 2024 09:55 14m 36s
Add support for the textDocument/documentSymbol LSP request Main Workflow #1101: Pull request #317 synchronize by NeoKaios
July 23, 2024 08:47 15m 33s NeoKaios:feat/document-symbol-request
NeoKaios:feat/document-symbol-request
July 23, 2024 08:47 15m 33s
Add support for the textDocument/documentSymbol LSP request Main Workflow #1100: Pull request #317 synchronize by NeoKaios
July 23, 2024 08:22 15m 31s NeoKaios:feat/document-symbol-request
NeoKaios:feat/document-symbol-request
July 23, 2024 08:22 15m 31s
Add support for the textDocument/documentSymbol LSP request Main Workflow #1099: Pull request #317 synchronize by NeoKaios
July 23, 2024 07:57 17m 34s NeoKaios:feat/document-symbol-request
NeoKaios:feat/document-symbol-request
July 23, 2024 07:57 17m 34s
Merge pull request #318 from NeoKaios/fix/menhir-version Main Workflow #1098: Commit a96f68d pushed by nberth
July 22, 2024 14:58 18m 27s master
master
July 22, 2024 14:58 18m 27s
Limit Menhir version to 20231231 Main Workflow #1097: Pull request #318 opened by NeoKaios
July 22, 2024 14:32 20m 31s NeoKaios:fix/menhir-version
NeoKaios:fix/menhir-version
July 22, 2024 14:32 20m 31s
Add support for the textDocument/documentSymbol LSP request Main Workflow #1096: Pull request #317 opened by NeoKaios
July 19, 2024 11:31 10m 19s NeoKaios:feat/document-symbol-request
NeoKaios:feat/document-symbol-request
July 19, 2024 11:31 10m 19s
Semantic completion for user-defined words depending on type Main Workflow #1095: Pull request #315 synchronize by NeoKaios
July 15, 2024 15:15 13m 36s NeoKaios:feat/semantic-completion
NeoKaios:feat/semantic-completion
July 15, 2024 15:15 13m 36s
Semantic completion for user-defined words depending on type Main Workflow #1094: Pull request #315 synchronize by NeoKaios
July 12, 2024 15:05 13m 46s NeoKaios:feat/semantic-completion
NeoKaios:feat/semantic-completion
July 12, 2024 15:05 13m 46s
Merge pull request #316 from nberth/ux-adjustments Main Workflow #1093: Commit df1e45c pushed by nberth
July 12, 2024 12:18 15m 10s master
master
July 12, 2024 12:18 15m 10s
Various UX adjustments Main Workflow #1092: Pull request #316 synchronize by nberth
July 12, 2024 12:00 13m 26s nberth:ux-adjustments
nberth:ux-adjustments
July 12, 2024 12:00 13m 26s
Various UX adjustments Main Workflow #1091: Pull request #316 synchronize by nberth
July 12, 2024 11:45 16m 27s nberth:ux-adjustments
nberth:ux-adjustments
July 12, 2024 11:45 16m 27s
Various UX adjustments Main Workflow #1090: Pull request #316 synchronize by nberth
July 12, 2024 11:09 13m 52s nberth:ux-adjustments
nberth:ux-adjustments
July 12, 2024 11:09 13m 52s
Various UX adjustments Main Workflow #1089: Pull request #316 synchronize by nberth
July 12, 2024 09:10 13m 7s nberth:ux-adjustments
nberth:ux-adjustments
July 12, 2024 09:10 13m 7s
Merge pull request #313 from nberth/apply-post-actions-on-recovery-path Main Workflow #1088: Commit e151e4d pushed by nberth
July 12, 2024 08:09 14m 54s master
master
July 12, 2024 08:09 14m 54s
Various UX adjustments Main Workflow #1087: Pull request #316 opened by nberth
July 12, 2024 08:09 13m 58s nberth:ux-adjustments
nberth:ux-adjustments
July 12, 2024 08:09 13m 58s
Merge pull request #314 from NeoKaios/refactor/completion-api Main Workflow #1086: Commit 2541c3f pushed by nberth
July 11, 2024 15:02 14m 51s master
master
July 11, 2024 15:02 14m 51s
Semantic completion for user-defined words depending on type Main Workflow #1085: Pull request #315 opened by NeoKaios
July 11, 2024 14:51 10m 45s NeoKaios:feat/semantic-completion
NeoKaios:feat/semantic-completion
July 11, 2024 14:51 10m 45s
Refactor Expect api for completion Main Workflow #1084: Pull request #314 synchronize by NeoKaios
July 11, 2024 14:26 13m 57s NeoKaios:refactor/completion-api
NeoKaios:refactor/completion-api
July 11, 2024 14:26 13m 57s
Refactor Expect api for completion Main Workflow #1083: Pull request #314 synchronize by NeoKaios
July 11, 2024 11:49 16m 31s NeoKaios:refactor/completion-api
NeoKaios:refactor/completion-api
July 11, 2024 11:49 16m 31s
Refactor Expect api for completion Main Workflow #1082: Pull request #314 opened by NeoKaios
July 11, 2024 11:48 17m 47s NeoKaios:refactor/completion-api
NeoKaios:refactor/completion-api
July 11, 2024 11:48 17m 47s
Merge pull request #312 from NeoKaios/feat/eager-completion Main Workflow #1081: Commit 092b78b pushed by nberth
July 9, 2024 13:53 15m 22s master
master
July 9, 2024 13:53 15m 22s
ProTip! You can narrow down the results and go further in time using created:<2024-07-09 or the other filters available.