Skip to content

Actions: vekatze/neut

Tests on Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
478 workflow runs
478 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #237 from vekatze/update-core-0-50-33
Tests on Linux #554: Commit c2a4882 pushed by vekatze
November 18, 2024 01:31 3m 32s main
November 18, 2024 01:31 3m 32s
update the core library (0-50-33)
Tests on Linux #553: Pull request #237 opened by vekatze
November 18, 2024 01:27 3m 36s update-core-0-50-33
November 18, 2024 01:27 3m 36s
Merge pull request #236 from vekatze/reorganize-ffi
Tests on Linux #552: Commit 4602e16 pushed by vekatze
November 18, 2024 01:00 19m 5s main
November 18, 2024 01:00 19m 5s
overhaul the FFI stuff (for better conceptual orthogonality)
Tests on Linux #551: Pull request #236 opened by vekatze
November 18, 2024 00:39 21m 6s reorganize-ffi
November 18, 2024 00:39 21m 6s
Merge pull request #235 from vekatze/rename-internal-constants
Tests on Linux #550: Commit 50bdb7c pushed by vekatze
November 10, 2024 03:25 3m 28s main
November 10, 2024 03:25 3m 28s
rename internal constants: (admit,assert) => (_admit,_assert)
Tests on Linux #549: Pull request #235 opened by vekatze
November 10, 2024 03:21 3m 28s rename-internal-constants
November 10, 2024 03:21 3m 28s
Merge pull request #234 from vekatze/fix-nested-enums
Tests on Linux #548: Commit 2414925 pushed by vekatze
November 7, 2024 14:19 3m 39s main
November 7, 2024 14:19 3m 39s
fix: don't forget to add cursors to chains when tracing branches
Tests on Linux #547: Pull request #234 opened by vekatze
November 7, 2024 14:15 3m 29s fix-nested-enums
November 7, 2024 14:15 3m 29s
Merge pull request #233 from vekatze/with-box
Tests on Linux #546: Commit 0343129 pushed by vekatze
November 4, 2024 01:22 3m 22s main
November 4, 2024 01:22 3m 22s
fix: allow with + {letbox[-T], let-on}
Tests on Linux #545: Pull request #233 opened by vekatze
November 4, 2024 01:18 3m 27s with-box
November 4, 2024 01:18 3m 27s
Merge pull request #232 from vekatze/rel-term-level-define
Tests on Linux #544: Commit f6f7394 pushed by vekatze
November 4, 2024 00:33 3m 30s main
November 4, 2024 00:33 3m 30s
fix: ! is unnecessary in term-level define
Tests on Linux #543: Pull request #232 opened by vekatze
November 4, 2024 00:28 3m 36s rel-term-level-define
November 4, 2024 00:28 3m 36s
Merge pull request #231 from vekatze/lsp-ignore-untracked-files
Tests on Linux #542: Commit b1b6c2d pushed by vekatze
November 2, 2024 04:45 3m 37s main
November 2, 2024 04:45 3m 37s
lsp: ignore untracked source files during completion
Tests on Linux #541: Pull request #231 opened by vekatze
November 2, 2024 04:40 3m 23s lsp-ignore-untracked-files
November 2, 2024 04:40 3m 23s
Merge pull request #230 from vekatze/allow-underscores-in-integer-lit…
Tests on Linux #540: Commit 1df852f pushed by vekatze
November 1, 2024 13:42 3m 33s main
November 1, 2024 13:42 3m 33s
Merge pull request #229 from vekatze/fix-potential-lsp-crash
Tests on Linux #536: Commit 58aeca6 pushed by vekatze
November 1, 2024 13:00 19m 40s main
November 1, 2024 13:00 19m 40s
fix potential crash of the LSP server
Tests on Linux #535: Pull request #229 opened by vekatze
November 1, 2024 12:38 19m 45s fix-potential-lsp-crash
November 1, 2024 12:38 19m 45s
Merge pull request #228 from vekatze/fix-possible-infinite-loops
Tests on Linux #534: Commit 0a77354 pushed by vekatze
October 21, 2024 02:01 19m 43s main
October 21, 2024 02:01 19m 43s
fix possible infinite loops during unification
Tests on Linux #533: Pull request #228 opened by vekatze
October 21, 2024 01:38 19m 25s fix-possible-infinite-loops
October 21, 2024 01:38 19m 25s
typo
Tests on Linux #532: Commit f2e7a8f pushed by vekatze
October 12, 2024 09:28 19m 35s main
October 12, 2024 09:28 19m 35s
0.17.5
Tests on Linux #531: Commit 499e0f1 pushed by vekatze
October 12, 2024 08:46 17m 1s main
October 12, 2024 08:46 17m 1s
Merge pull request #225 from vekatze/fix-parallel-fetch
Tests on Linux #530: Commit 4ab0ef0 pushed by vekatze
October 12, 2024 08:45 19m 48s main
October 12, 2024 08:45 19m 48s