Skip to content

Actions: OCamlPro/superbol-studio-oss

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #47: by github-pages bot
February 5, 2025 16:17 29s gh-pages
gh-pages
February 5, 2025 16:17 29s
Merge pull request #402 from lefessan/z-2025-02-04-ease-of-build Main Workflow #1345: Commit 5d794f5 pushed by nberth
February 5, 2025 16:08 8m 37s master
master
February 5, 2025 16:08 8m 37s
Add 'make' target 'build master' to remember what to update when buil… Main Workflow #1344: Pull request #402 synchronize by nberth
February 5, 2025 16:00 8m 8s lefessan:z-2025-02-04-ease-of-build
lefessan:z-2025-02-04-ease-of-build
February 5, 2025 16:00 8m 8s
pages build and deployment pages-build-deployment #46: by github-pages bot
February 5, 2025 13:24 39s gh-pages
gh-pages
February 5, 2025 13:24 39s
Add SUPPORT.md Main Workflow #1343: Pull request #401 synchronize by nberth
February 5, 2025 13:13 13m 24s nberth:support.md
nberth:support.md
February 5, 2025 13:13 13m 24s
Merge pull request #403 from nberth/cache-fix Main Workflow #1342: Commit 63ac90c pushed by nberth
February 5, 2025 13:10 14m 40s master
master
February 5, 2025 13:10 14m 40s
Cache the local opam switch in CI workflows Main Workflow #1341: Pull request #403 opened by nberth
February 4, 2025 14:35 7m 51s nberth:cache-fix
nberth:cache-fix
February 4, 2025 14:35 7m 51s
Add SUPPORT.md Main Workflow #1340: Pull request #401 synchronize by nberth
February 4, 2025 11:07 5m 42s nberth:support.md
nberth:support.md
February 4, 2025 11:07 5m 42s
Add 'make' target 'build master' to remember what to update when buil… Main Workflow #1339: Pull request #402 opened by lefessan
February 4, 2025 09:49 1m 44s lefessan:z-2025-02-04-ease-of-build
lefessan:z-2025-02-04-ease-of-build
February 4, 2025 09:49 1m 44s
Add SUPPORT.md Main Workflow #1338: Pull request #401 opened by nberth
February 3, 2025 14:37 1m 30s nberth:support.md
nberth:support.md
February 3, 2025 14:37 1m 30s
pages build and deployment pages-build-deployment #45: by github-pages bot
February 3, 2025 13:48 29s gh-pages
gh-pages
February 3, 2025 13:48 29s
Merge pull request #93 from bclement-ocp/mr-superbol.js Main Workflow #1337: Commit e52e732 pushed by nberth
February 3, 2025 13:35 14m 28s master
master
February 3, 2025 13:35 14m 28s
Provide a "universal" VSIX, with the LSP server compiled in JavaScript Main Workflow #1336: Pull request #93 synchronize by nberth
February 3, 2025 12:47 14m 29s bclement-ocp:mr-superbol.js
bclement-ocp:mr-superbol.js
February 3, 2025 12:47 14m 29s
Provide a "universal" VSIX, with the LSP server compiled in JavaScript Main Workflow #1335: Pull request #93 synchronize by nberth
January 31, 2025 12:31 12m 59s bclement-ocp:mr-superbol.js
bclement-ocp:mr-superbol.js
January 31, 2025 12:31 12m 59s
Provide a "universal" VSIX, with the LSP server compiled in JavaScript Main Workflow #1334: Pull request #93 synchronize by nberth
January 31, 2025 12:24 9m 24s bclement-ocp:mr-superbol.js
bclement-ocp:mr-superbol.js
January 31, 2025 12:24 9m 24s
Provide a "universal" VSIX, with the LSP server compiled in JavaScript Main Workflow #1333: Pull request #93 synchronize by nberth
January 31, 2025 12:08 8m 55s bclement-ocp:mr-superbol.js
bclement-ocp:mr-superbol.js
January 31, 2025 12:08 8m 55s
Provide a "universal" VSIX, with the LSP server compiled in JavaScript Main Workflow #1332: Pull request #93 synchronize by nberth
January 29, 2025 16:01 14m 34s bclement-ocp:mr-superbol.js
bclement-ocp:mr-superbol.js
January 29, 2025 16:01 14m 34s
Provide a "universal" VSIX, with the LSP server compiled in JavaScript Main Workflow #1331: Pull request #93 synchronize by nberth
January 28, 2025 13:16 7m 49s bclement-ocp:mr-superbol.js
bclement-ocp:mr-superbol.js
January 28, 2025 13:16 7m 49s
Provide a "universal" VSIX, with the LSP server compiled in JavaScript Main Workflow #1330: Pull request #93 synchronize by nberth
January 28, 2025 13:07 10m 3s bclement-ocp:mr-superbol.js
bclement-ocp:mr-superbol.js
January 28, 2025 13:07 10m 3s
pages build and deployment pages-build-deployment #44: by github-pages bot
January 27, 2025 07:53 23s gh-pages
gh-pages
January 27, 2025 07:53 23s
Merge pull request #397 from nberth/build-vsix-in-ci Main Workflow #1329: Commit 18ae572 pushed by nberth
January 27, 2025 07:42 12m 38s master
master
January 27, 2025 07:42 12m 38s
Update github workflow to build VSIX artifacts Main Workflow #1328: Pull request #397 opened by nberth
January 24, 2025 16:00 11m 38s nberth:build-vsix-in-ci
nberth:build-vsix-in-ci
January 24, 2025 16:00 11m 38s
pages build and deployment pages-build-deployment #43: by github-pages bot
January 22, 2025 11:31 31s gh-pages
gh-pages
January 22, 2025 11:31 31s
pages build and deployment pages-build-deployment #42: by github-pages bot
January 22, 2025 11:30 12s gh-pages
gh-pages
January 22, 2025 11:30 12s
pages build and deployment pages-build-deployment #41: by github-pages bot
January 22, 2025 11:24 24s gh-pages
gh-pages
January 22, 2025 11:24 24s