mirror of
https://github.com/wavetermdev/xterm.js.git
synced 2026-08-05 13:43:48 -07:00
Temporarily enable publishing in PRs
This commit is contained in:
@@ -5,6 +5,8 @@ on:
|
||||
# If a commit reaches master, assume it has passed CI via PR and publish
|
||||
# without running tests to save time to publish
|
||||
branches: [ "master" ]
|
||||
pull_request:
|
||||
branches: [ "master" ]
|
||||
|
||||
jobs:
|
||||
release:
|
||||
|
||||
Vendored
+1
-1
@@ -7,7 +7,7 @@
|
||||
* to be stable and consumed by external programs.
|
||||
*/
|
||||
|
||||
declare module 'xterm-headless' {
|
||||
declare module '@xterm/headless' {
|
||||
/**
|
||||
* A string representing log level.
|
||||
*/
|
||||
|
||||
Vendored
+1
-1
@@ -9,7 +9,7 @@
|
||||
|
||||
/// <reference lib="dom"/>
|
||||
|
||||
declare module 'xterm' {
|
||||
declare module '@xterm/xterm' {
|
||||
/**
|
||||
* A string or number representing text font weight.
|
||||
*/
|
||||
|
||||
Reference in New Issue
Block a user