Skip to content

Actions: LPCIC/elpi-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Build the trace explorer as a standalone web app Node.js CI #79: Pull request #45 opened by VojtechStep
36s VojtechStep:ssg
VojtechStep:ssg
36s
Reimplement the trace elaborator in TypeScript Node.js CI #78: Pull request #41 synchronize by VojtechStep
38s VojtechStep:builtin-trace-elaborator
VojtechStep:builtin-trace-elaborator
38s
Reimplement the trace elaborator in TypeScript Node.js CI #77: Pull request #41 synchronize by VojtechStep
34s VojtechStep:builtin-trace-elaborator
VojtechStep:builtin-trace-elaborator
34s
Reimplement the trace elaborator in TypeScript Node.js CI #76: Pull request #41 synchronize by VojtechStep
34s VojtechStep:builtin-trace-elaborator
VojtechStep:builtin-trace-elaborator
34s
Reimplement the trace elaborator in TypeScript Node.js CI #75: Pull request #41 synchronize by VojtechStep
28s VojtechStep:builtin-trace-elaborator
VojtechStep:builtin-trace-elaborator
28s
Reimplement the trace elaborator in TypeScript Node.js CI #74: Pull request #41 synchronize by VojtechStep
28s VojtechStep:builtin-trace-elaborator
VojtechStep:builtin-trace-elaborator
28s
Reimplement the trace elaborator in TypeScript Node.js CI #73: Pull request #41 synchronize by VojtechStep
25s VojtechStep:builtin-trace-elaborator
VojtechStep:builtin-trace-elaborator
25s
Reimplement the trace elaborator in TypeScript Node.js CI #72: Pull request #41 opened by VojtechStep
25s VojtechStep:builtin-trace-elaborator
VojtechStep:builtin-trace-elaborator
25s
Merge pull request #40 from VojtechStep/remove-watcher Node.js CI #71: Commit a1b3007 pushed by gares
30s master
master
30s
Remove watcher Node.js CI #70: Pull request #40 opened by VojtechStep
42s VojtechStep:remove-watcher
VojtechStep:remove-watcher
42s
Merge pull request #39 from VojtechStep/cleanup-highlight Node.js CI #69: Commit 68f3ead pushed by gares
47s master
master
47s
Remove remnants of old syntax highlighting Node.js CI #68: Pull request #39 opened by VojtechStep
30s VojtechStep:cleanup-highlight
VojtechStep:cleanup-highlight
30s
Merge pull request #38 from LPCIC/test-node-22 Node.js CI #67: Commit 4ba1cbc pushed by gares
30s master
master
30s
test node 22 Node.js CI #66: Pull request #38 opened by gares
26s test-node-22
test-node-22
26s
Merge pull request #37 from VojtechStep/visual-fixes Node.js CI #65: Commit 9721e8c pushed by gares
33s master
master
33s
Visual fixes Node.js CI #64: Pull request #37 opened by VojtechStep
28s VojtechStep:visual-fixes
VojtechStep:visual-fixes
28s
v0.3.2 Open VSX store upload #3: Release v0.3.2 published by gares
28s
28s
v0.3.2 Visual Studio store upload #21: Release v0.3.2 published by gares
41s
41s
Merge pull request #35 from LPCIC/next Node.js CI #63: Commit 15f6e27 pushed by gares
30s master
master
30s
disable shiki and support multiple trace versions Node.js CI #62: Pull request #35 synchronize by gares
26s next
next
26s
disable shiki and support multiple trace versions Node.js CI #61: Pull request #35 opened by gares
25s next
next
25s
npm_and_yarn in /. for qs - Update #1242510873 Dependabot Updates #12: by dependabot Bot
39s master
master
39s
Bump qs from 6.11.0 to 6.14.2 Node.js CI #60: Pull request #34 opened by dependabot Bot
29s dependabot/npm_and_yarn/qs-6.14.2
dependabot/npm_and_yarn/qs-6.14.2
29s
npm_and_yarn in /. for qs - Update #1242359850 Dependabot Updates #11: by dependabot Bot
53s master
master
53s
Bump qs from 6.11.0 to 6.14.1 Node.js CI #59: Pull request #33 opened by dependabot Bot
25s dependabot/npm_and_yarn/qs-6.14.1
dependabot/npm_and_yarn/qs-6.14.1
25s