Skip to content

Actions: jscoq/jscoq

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
69 workflow runs
69 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Ensure jsCoq can be loaded from a cross-origin CDN such as jsDelivr JsCoq's CI Action #463: Pull request #354 synchronize by praalhans
November 13, 2023 13:51 46m 39s praalhans:v8.17
praalhans:v8.17
November 13, 2023 13:51 46m 39s
Ensure jsCoq can be loaded from a cross-origin CDN such as jsDelivr JsCoq's CI Action #461: Pull request #354 synchronize by praalhans
November 11, 2023 02:56 44m 0s praalhans:v8.17
praalhans:v8.17
November 11, 2023 02:56 44m 0s
Ensure jsCoq can be loaded from a cross-origin CDN such as jsDelivr JsCoq's CI Action #451: Pull request #354 opened by praalhans
November 10, 2023 18:57 27m 41s praalhans:v8.17
praalhans:v8.17
November 10, 2023 18:57 27m 41s
[meta] Update CHANGES. JsCoq's CI Action #450: Commit 7ca41fe pushed by corwin-of-amber
October 1, 2023 12:36 51m 39s v8.17
v8.17
October 1, 2023 12:36 51m 39s
[build] Locked version of wacoq-deps. JsCoq's CI Action #449: Commit f1770cd pushed by corwin-of-amber
October 1, 2023 12:30 46m 38s v8.17
v8.17
October 1, 2023 12:30 46m 38s
[build] Added wacoq-deps manifest. JsCoq's CI Action #448: Commit a5bf48c pushed by corwin-of-amber
October 1, 2023 12:27 39m 57s v8.17
v8.17
October 1, 2023 12:27 39m 57s
[meta] Bump ver to 0.17.1. JsCoq's CI Action #447: Commit 954dbd1 pushed by corwin-of-amber
September 30, 2023 20:29 47m 41s v8.17
v8.17
September 30, 2023 20:29 47m 41s
[build] [docker] Include branch name in uploaded image. JsCoq's CI Action #446: Commit 45359db pushed by corwin-of-amber
September 27, 2023 14:31 46m 59s v8.17
v8.17
September 27, 2023 14:31 46m 59s
[build] [docker] Dist sdk upload JsCoq's CI Action #445: Commit 7123a73 pushed by corwin-of-amber
September 22, 2023 17:34 19m 18s v8.16
v8.16
September 22, 2023 17:34 19m 18s
[bugfix] [build] Fixed the dist JsCoq's CI Action #444: Commit 08263fd pushed by corwin-of-amber
September 22, 2023 13:23 23m 12s v8.16
v8.16
September 22, 2023 13:23 23m 12s
[bugfix] [build] Fixed the dist JsCoq's CI Action #443: Commit d46717a pushed by corwin-of-amber
September 22, 2023 13:19 22m 0s v8.16
v8.16
September 22, 2023 13:19 22m 0s
[bugfix] [build] Fixed the dist JsCoq's CI Action #442: Commit 0bcee44 pushed by corwin-of-amber
September 22, 2023 13:17 25m 21s v8.16
v8.16
September 22, 2023 13:17 25m 21s
[bugfix] [build] Lock Dune version. JsCoq's CI Action #441: Commit e6628d4 pushed by corwin-of-amber
September 22, 2023 12:51 20m 43s v8.16
v8.16
September 22, 2023 12:51 20m 43s
[cleanup] Got rid of my_fflate.ts. JsCoq's CI Action #440: Commit 114326d pushed by corwin-of-amber
August 13, 2023 13:53 36m 55s v8.17
v8.17
August 13, 2023 13:53 36m 55s
[misc] Package hahn is no longer maintained. JsCoq's CI Action #439: Commit cdae4df pushed by corwin-of-amber
August 8, 2023 21:21 37m 15s v8.17
v8.17
August 8, 2023 21:21 37m 15s
[bugfix] [oops] Error when dir does not exist. JsCoq's CI Action #438: Commit 97627c2 pushed by corwin-of-amber
August 8, 2023 13:57 41m 18s v8.17
v8.17
August 8, 2023 13:57 41m 18s
[misc] Exported FormatPrettyPrint. JsCoq's CI Action #437: Commit 84638c2 pushed by corwin-of-amber
August 8, 2023 13:21 16m 23s v8.17
v8.17
August 8, 2023 13:21 16m 23s
[bugfix] [cli] Clear package directory before running. JsCoq's CI Action #436: Commit d10f31b pushed by corwin-of-amber
August 8, 2023 13:01 17m 47s v8.17
v8.17
August 8, 2023 13:01 17m 47s
[cli] Respect JSCOQ_DEBUG env var. JsCoq's CI Action #435: Commit b4ca868 pushed by corwin-of-amber
August 8, 2023 11:20 48m 2s v8.17
v8.17
August 8, 2023 11:20 48m 2s
[bugfix] Restored sqrt_2 example. JsCoq's CI Action #434: Commit f2fb588 pushed by corwin-of-amber
August 7, 2023 13:04 38m 57s v8.17
v8.17
August 7, 2023 13:04 38m 57s
[bugfix] Headless path tweaks. JsCoq's CI Action #433: Commit 7bd97e6 pushed by corwin-of-amber
July 31, 2023 11:06 44m 18s v8.17
v8.17
July 31, 2023 11:06 44m 18s
[jscoq] Migration to Flèche as document checking backend. JsCoq's CI Action #432: Pull request #275 synchronize by ejgallego
July 29, 2023 15:06 48m 58s v8.16+lsp
v8.16+lsp
July 29, 2023 15:06 48m 58s
[jscoq] Migration to Flèche as document checking backend. JsCoq's CI Action #431: Pull request #275 synchronize by ejgallego
July 29, 2023 01:45 39m 20s v8.16+lsp
v8.16+lsp
July 29, 2023 01:45 39m 20s
[jscoq] Migration to Flèche as document checking backend. JsCoq's CI Action #430: Pull request #275 synchronize by ejgallego
July 29, 2023 00:40 38m 4s v8.16+lsp
v8.16+lsp
July 29, 2023 00:40 38m 4s
[jscoq] Migration to Flèche as document checking backend. JsCoq's CI Action #429: Pull request #275 synchronize by ejgallego
July 28, 2023 23:42 47m 7s v8.16+lsp
v8.16+lsp
July 28, 2023 23:42 47m 7s