Skip to content

Actions: impermeable/waterproof-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
262 workflow runs
262 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Support for '.v' files Run unit tests #247: Pull request #75 synchronize by DikieDick
June 25, 2024 09:41 46s v-file-support
v-file-support
June 25, 2024 09:41 46s
Support for '.v' files Run unit tests #246: Pull request #75 synchronize by XyntaxCS
June 25, 2024 09:38 42s v-file-support
v-file-support
June 25, 2024 09:38 42s
Auto installer for Windows Run unit tests #245: Pull request #80 opened by M-J-V
June 24, 2024 16:47 1m 12s auto_installer
auto_installer
June 24, 2024 16:47 1m 12s
Support for '.v' files Run unit tests #244: Pull request #75 synchronize by DikieDick
June 24, 2024 14:56 1m 14s v-file-support
v-file-support
June 24, 2024 14:56 1m 14s
Waterproof color theme Run unit tests #243: Pull request #78 opened by driverag22
June 20, 2024 16:30 1m 26s waterproof-color-theme
waterproof-color-theme
June 20, 2024 16:30 1m 26s
Line long errors implementation using coq-lsp diagnostics Run unit tests #242: Pull request #77 opened by driverag22
June 12, 2024 12:44 1m 8s lineLongErrors-new
lineLongErrors-new
June 12, 2024 12:44 1m 8s
Support for '.v' files Run unit tests #241: Pull request #75 synchronize by XyntaxCS
June 6, 2024 10:52 1m 8s v-file-support
v-file-support
June 6, 2024 10:52 1m 8s
Support for '.v' files Run unit tests #240: Pull request #75 synchronize by DikieDick
June 6, 2024 07:35 1m 16s v-file-support
v-file-support
June 6, 2024 07:35 1m 16s
New ProseMirror document constructor Run unit tests #239: Pull request #73 synchronize by DikieDick
May 28, 2024 10:11 1m 9s prosemirror-document-construction
prosemirror-document-construction
May 28, 2024 10:11 1m 9s
Support for '.v' files Run unit tests #238: Pull request #75 synchronize by driverag22
May 26, 2024 10:56 1m 9s v-file-support
v-file-support
May 26, 2024 10:56 1m 9s
Changed background color for selected text for more visibility Run unit tests #237: Pull request #76 opened by driverag22
May 24, 2024 13:03 1m 19s selection-color-visiblity-fix
selection-color-visiblity-fix
May 24, 2024 13:03 1m 19s
Support for '.v' files Run unit tests #236: Pull request #75 synchronize by DikieDick
May 23, 2024 11:35 1m 18s v-file-support
v-file-support
May 23, 2024 11:35 1m 18s
Support for '.v' files Run unit tests #235: Pull request #75 synchronize by DikieDick
May 23, 2024 11:14 1m 1s v-file-support
v-file-support
May 23, 2024 11:14 1m 1s
Support for '.v' files Run unit tests #234: Pull request #75 synchronize by XyntaxCS
May 22, 2024 14:31 1m 36s v-file-support
v-file-support
May 22, 2024 14:31 1m 36s
Support for '.v' files Run unit tests #233: Pull request #75 synchronize by DikieDick
May 22, 2024 13:06 1m 8s v-file-support
v-file-support
May 22, 2024 13:06 1m 8s
Support for '.v' files Run unit tests #232: Pull request #75 synchronize by DikieDick
May 22, 2024 12:59 1m 17s v-file-support
v-file-support
May 22, 2024 12:59 1m 17s
Audit: Ran npm audit. (#74) Run unit tests #231: Commit 2363d4a pushed by jim-portegies
May 17, 2024 16:08 1m 10s main
main
May 17, 2024 16:08 1m 10s
Audit: Ran NPM audit to fix security issue Run unit tests #230: Pull request #74 synchronize by jim-portegies
May 17, 2024 16:06 1m 11s audit-packages
audit-packages
May 17, 2024 16:06 1m 11s
Split expandDef, Help and Search button into three, added fix to remo… Run unit tests #229: Commit 1d9beba pushed by jim-portegies
May 17, 2024 16:04 53s main
main
May 17, 2024 16:04 53s
Support for '.v' files Run unit tests #228: Pull request #75 opened by DikieDick
May 7, 2024 18:28 1m 6s v-file-support
v-file-support
May 7, 2024 18:28 1m 6s
New ProseMirror document constructor Run unit tests #227: Pull request #73 synchronize by DikieDick
May 7, 2024 18:18 1m 5s prosemirror-document-construction
prosemirror-document-construction
May 7, 2024 18:18 1m 5s
New ProseMirror document constructor Run unit tests #226: Pull request #73 synchronize by DikieDick
May 3, 2024 17:56 1m 1s prosemirror-document-construction
prosemirror-document-construction
May 3, 2024 17:56 1m 1s
New ProseMirror document constructor Run unit tests #225: Pull request #73 synchronize by DikieDick
May 3, 2024 16:49 45s prosemirror-document-construction
prosemirror-document-construction
May 3, 2024 16:49 45s
New ProseMirror document constructor Run unit tests #224: Pull request #73 synchronize by DikieDick
May 1, 2024 10:02 41s prosemirror-document-construction
prosemirror-document-construction
May 1, 2024 10:02 41s
New ProseMirror document constructor Run unit tests #223: Pull request #73 synchronize by DikieDick
May 1, 2024 09:57 43s prosemirror-document-construction
prosemirror-document-construction
May 1, 2024 09:57 43s