Skip to content

Actions: OCamlPro/superbol-studio-oss

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,268 workflow runs
1,268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #25: by github-pages bot
August 19, 2024 14:02 36s gh-pages
gh-pages
August 19, 2024 14:02 36s
Merge pull request #353 from NeoKaios/fix/grammar-goto Main Workflow #1226: Commit d9b0282 pushed by nberth
August 19, 2024 13:48 14m 26s master
master
August 19, 2024 13:48 14m 26s
Improve GO statement grammar Main Workflow #1225: Pull request #353 synchronize by NeoKaios
August 19, 2024 12:30 13m 47s NeoKaios:fix/grammar-goto
NeoKaios:fix/grammar-goto
August 19, 2024 12:30 13m 47s
Improve GO statement grammar Main Workflow #1224: Pull request #353 synchronize by NeoKaios
August 19, 2024 09:55 13m 32s NeoKaios:fix/grammar-goto
NeoKaios:fix/grammar-goto
August 19, 2024 09:55 13m 32s
Improve GO statement grammar Main Workflow #1223: Pull request #353 opened by NeoKaios
August 19, 2024 07:55 13m 19s NeoKaios:fix/grammar-goto
NeoKaios:fix/grammar-goto
August 19, 2024 07:55 13m 19s
pages build and deployment pages-build-deployment #24: by github-pages bot
August 14, 2024 12:17 35s gh-pages
gh-pages
August 14, 2024 12:17 35s
Merge pull request #351 from NeoKaios/feat/rename-request Main Workflow #1222: Commit 16d6ee8 pushed by nberth
August 14, 2024 12:03 13m 49s master
master
August 14, 2024 12:03 13m 49s
Support for textDocument/rename Main Workflow #1221: Pull request #351 synchronize by nberth
August 14, 2024 12:02 13m 17s NeoKaios:feat/rename-request
NeoKaios:feat/rename-request
August 14, 2024 12:02 13m 17s
Support for textDocument/rename Main Workflow #1220: Pull request #351 synchronize by NeoKaios
August 14, 2024 11:31 13m 43s NeoKaios:feat/rename-request
NeoKaios:feat/rename-request
August 14, 2024 11:31 13m 43s
Support for textDocument/rename Main Workflow #1219: Pull request #351 synchronize by NeoKaios
August 14, 2024 07:43 13m 1s NeoKaios:feat/rename-request
NeoKaios:feat/rename-request
August 14, 2024 07:43 13m 1s
Support for textDocument/rename Main Workflow #1218: Pull request #351 synchronize by NeoKaios
August 13, 2024 14:52 13m 28s NeoKaios:feat/rename-request
NeoKaios:feat/rename-request
August 13, 2024 14:52 13m 28s
Support for textDocument/rename Main Workflow #1217: Pull request #351 synchronize by NeoKaios
August 13, 2024 14:48 14m 38s NeoKaios:feat/rename-request
NeoKaios:feat/rename-request
August 13, 2024 14:48 14m 38s
Support for textDocument/rename Main Workflow #1216: Pull request #351 synchronize by NeoKaios
August 13, 2024 10:39 13m 12s NeoKaios:feat/rename-request
NeoKaios:feat/rename-request
August 13, 2024 10:39 13m 12s
pages build and deployment pages-build-deployment #23: by github-pages bot
August 13, 2024 09:27 25s gh-pages
gh-pages
August 13, 2024 09:27 25s
Merge pull request #350 from NeoKaios/feat/show-documentation-on-hover Main Workflow #1215: Commit 3b511b7 pushed by nberth
August 13, 2024 09:13 13m 50s master
master
August 13, 2024 09:13 13m 50s
Show documentation comment on variable hover Main Workflow #1214: Pull request #350 synchronize by NeoKaios
August 13, 2024 08:22 13m 20s NeoKaios:feat/show-documentation-on-hover
NeoKaios:feat/show-documentation-on-hover
August 13, 2024 08:22 13m 20s
Show documentation comment on variable hover Main Workflow #1213: Pull request #350 synchronize by NeoKaios
August 13, 2024 08:18 13m 57s NeoKaios:feat/show-documentation-on-hover
NeoKaios:feat/show-documentation-on-hover
August 13, 2024 08:18 13m 57s
Support for textDocument/rename Main Workflow #1212: Pull request #351 synchronize by NeoKaios
August 13, 2024 08:15 13m 26s NeoKaios:feat/rename-request
NeoKaios:feat/rename-request
August 13, 2024 08:15 13m 26s
pages build and deployment pages-build-deployment #22: by github-pages bot
August 12, 2024 15:12 31s gh-pages
gh-pages
August 12, 2024 15:12 31s
Merge pull request #322 from NeoKaios/fix/failing-completion Main Workflow #1211: Commit 15b985a pushed by nberth
August 12, 2024 14:59 13m 34s master
master
August 12, 2024 14:59 13m 34s
pages build and deployment pages-build-deployment #21: by github-pages bot
August 12, 2024 14:27 28s gh-pages
gh-pages
August 12, 2024 14:27 28s
Fix completion failing in some parser states Main Workflow #1210: Pull request #322 synchronize by nberth
August 12, 2024 14:24 14m 14s NeoKaios:fix/failing-completion
NeoKaios:fix/failing-completion
August 12, 2024 14:24 14m 14s
Merge pull request #349 from NeoKaios/feat/codelens-request Main Workflow #1209: Commit e5787b9 pushed by nberth
August 12, 2024 14:12 16m 47s master
master
August 12, 2024 14:12 16m 47s
Support for textDocument/rename Main Workflow #1208: Pull request #351 opened by NeoKaios
August 12, 2024 13:44 14m 8s NeoKaios:feat/rename-request
NeoKaios:feat/rename-request
August 12, 2024 13:44 14m 8s
Show documentation comment on variable hover Main Workflow #1207: Pull request #350 synchronize by NeoKaios
August 12, 2024 13:42 13m 40s NeoKaios:feat/show-documentation-on-hover
NeoKaios:feat/show-documentation-on-hover
August 12, 2024 13:42 13m 40s