Workflow runs · jscoq/jscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

258 workflow runs

Merge pull request #425 from helguo/cleanup JsCoq's CI Action #682: Commit 8e20d91 pushed by helguo

12m 44s v8.20

v8.20

12m 44s

remove cm5 and some changes for CoqDocument JsCoq's CI Action #681: Pull request #425 synchronize by helguo

12m 53s helguo:cleanup

helguo:cleanup

12m 53s

remove cm5 and some changes for CoqDocument JsCoq's CI Action #680: Pull request #425 opened by helguo

12m 52s helguo:cleanup

helguo:cleanup

12m 52s

Merge pull request #424 from ejgallego/fix_newdoc JsCoq's CI Action #679: Commit 9cb9434 pushed by ejgallego

11m 38s v8.20

v8.20

11m 38s

[backend] Improve protocol for document open / close JsCoq's CI Action #678: Pull request #424 synchronize by ejgallego

13m 10s ejgallego:fix_newdoc

ejgallego:fix_newdoc

13m 10s

[backend] Improve protocol for document open / close JsCoq's CI Action #677: Pull request #424 opened by ejgallego

12m 38s ejgallego:fix_newdoc

ejgallego:fix_newdoc

12m 38s

Update LICENSE JsCoq's CI Action #676: Commit 9303e25 pushed by helguo

12m 31s v8.20

v8.20

12m 31s

Merge pull request #422 from helguo/delete_document JsCoq's CI Action #675: Commit 487785c pushed by helguo

12m 54s v8.20

v8.20

12m 54s

[rocq editor] Add destroy method JsCoq's CI Action #674: Pull request #423 opened by ejgallego

12m 33s ejgallego:implement_destroy

ejgallego:implement_destroy

12m 33s

[ui] Support Markdown preview and live editor hot-swap JsCoq's CI Action #673: Pull request #338 synchronize by ejgallego

12m 48s v8.17+lsp+goalview+doc

v8.17+lsp+goalview+doc

12m 48s

[gist][ui] Delete Gist document and ui improvements JsCoq's CI Action #672: Pull request #422 synchronize by helguo

12m 59s helguo:delete_document

helguo:delete_document

12m 59s

[ui] [scratchpad] Improvements on flex width calculation. JsCoq's CI Action #671: Pull request #414 synchronize by ejgallego

13m 5s ejgallego:flex_scratchpad

ejgallego:flex_scratchpad

13m 5s

Merge pull request #421 from ejgallego/fix_point_lsp_config JsCoq's CI Action #670: Commit ce69012 pushed by ejgallego

12m 53s v8.20

v8.20

12m 53s

[gist][ui] Delete Gist document and ui improvements JsCoq's CI Action #669: Pull request #422 opened by helguo

7m 13s helguo:delete_document

helguo:delete_document

7m 13s

[backend] Fix backend point serialization LSP config JsCoq's CI Action #668: Pull request #421 synchronize by ejgallego

12m 49s ejgallego:fix_point_lsp_config

ejgallego:fix_point_lsp_config

12m 49s

Merge pull request #419 from helguo/editors JsCoq's CI Action #667: Commit 1c9bfd4 pushed by ejgallego

13m 54s v8.20

v8.20

13m 54s

Improve architecture for having multiple documents and editors JsCoq's CI Action #666: Pull request #419 synchronize by helguo

12m 43s helguo:editors

helguo:editors

12m 43s

Improve architecture for having multiple documents and editors JsCoq's CI Action #665: Pull request #419 synchronize by helguo

12m 38s helguo:editors

helguo:editors

12m 38s

[backend] Fix backend point serialization LSP config JsCoq's CI Action #664: Pull request #421 opened by ejgallego

12m 57s ejgallego:fix_point_lsp_config

ejgallego:fix_point_lsp_config

12m 57s

Improve architecture for having multiple documents and editors JsCoq's CI Action #663: Pull request #419 opened by helguo

6m 44s helguo:editors

helguo:editors

6m 44s

npm_and_yarn in /. for esbuild, esbuild-sass-plugin - Update #1108851154 Dependabot Updates #40: by dependabot bot

54s v8.20

v8.20

54s

Merge pull request #416 from ejgallego/bump_esbuild_cypress JsCoq's CI Action #662: Commit 5f448d8 pushed by ejgallego

12m 25s v8.20

v8.20

12m 25s

[build] Better error when .config.inc is missing JsCoq's CI Action #661: Pull request #417 opened by ejgallego

12m 30s ejgallego:better_error_on_missing_config

ejgallego:better_error_on_missing_config

12m 30s

[deps] [npm] Bump major esbuild, cypress, other deps JsCoq's CI Action #660: Pull request #416 synchronize by ejgallego

12m 48s ejgallego:bump_esbuild_cypress

ejgallego:bump_esbuild_cypress

12m 48s

[deps] [npm] Bump major esbuild, cypress, other deps JsCoq's CI Action #659: Pull request #416 synchronize by ejgallego

13m 0s ejgallego:bump_esbuild_cypress

ejgallego:bump_esbuild_cypress

13m 0s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Actions

Workflows

Management

All workflows

Actions

Loading...
Loading

All workflows

Uh oh!

Filter by Event

Sorry, something went wrong.

Sorry, something went wrong.

No matching events.

Filter by Status

Sorry, something went wrong.

Sorry, something went wrong.

No matching statuses.

Filter by Branch

Sorry, something went wrong.

Sorry, something went wrong.

No matching branches.

Filter by Actor

Sorry, something went wrong.

Sorry, something went wrong.

No matching users.

Actions: jscoq/jscoq

Actions

All workflows All workflows Actions Loading... Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page.

All workflows

All workflows

Actions

Loading...
Loading