Skip to content

Actions: LuxLang/lux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Proved 4 identities about Equivalence. test_everything #361: Commit 15096d8 pushed by eduardoejp
April 7, 2025 19:42 12s master
master
April 7, 2025 19:42 12s
Proved 10 identities about Maybe. test_everything #360: Commit 0ba06e7 pushed by eduardoejp
April 6, 2025 22:03 17s master
master
April 6, 2025 22:03 17s
Proved 9 identities about functions. test_everything #359: Commit 7ff8f53 pushed by eduardoejp
April 4, 2025 15:05 19s master
master
April 4, 2025 15:05 19s
Proved 11 identities about product types. test_everything #358: Commit 6c9ff4a pushed by eduardoejp
March 31, 2025 20:34 13s master
master
March 31, 2025 20:34 13s
Proved 7 identities about sum types. test_everything #357: Commit 6397cca pushed by eduardoejp
March 30, 2025 21:11 15s master
master
March 30, 2025 21:11 15s
Improved dispatching based on target platform. test_everything #356: Commit a939510 pushed by eduardoejp
March 23, 2025 10:39 13s master
master
March 23, 2025 10:39 13s
Improving test coverage [part 12] test_everything #355: Commit 57f9da4 pushed by eduardoejp
March 22, 2025 18:02 20s master
master
March 22, 2025 18:02 20s
Proved 46 identities about Bit logic. test_everything #354: Commit b52a94a pushed by eduardoejp
March 8, 2025 18:39 19s master
master
March 8, 2025 18:39 19s
Extracted code for testing for target platforms into its own module. test_everything #353: Commit 4defb99 pushed by eduardoejp
February 27, 2025 15:42 17s master
master
February 27, 2025 15:42 17s
Improving test coverage [part 11] test_everything #352: Commit e654119 pushed by eduardoejp
February 27, 2025 10:16 23s master
master
February 27, 2025 10:16 23s
Fixed a bug when loading the cache. test_everything #351: Commit 0bbae9e pushed by eduardoejp
February 25, 2025 07:15 24s master
master
February 25, 2025 07:15 24s
Improving test coverage [part 10] test_everything #350: Commit bd5ae04 pushed by eduardoejp
February 18, 2025 16:06 20s master
master
February 18, 2025 16:06 20s
Special _"if"_ optimization for matching against binary variants. test_everything #349: Commit 417a10f pushed by eduardoejp
February 17, 2025 20:18 25s master
master
February 17, 2025 20:18 25s
Improving test coverage [part 9] test_everything #348: Commit 6b4a53e pushed by eduardoejp
February 17, 2025 16:58 15s master
master
February 17, 2025 16:58 15s
[Part 2] w.r.t labels, exchanging the (#) prefix for Lisp's (:). test_everything #347: Commit 55c7cd0 pushed by eduardoejp
December 3, 2024 19:49 15s master
master
December 3, 2024 19:49 15s
Some renamings. test_everything #346: Commit 1836ae4 pushed by eduardoejp
December 3, 2024 04:55 18s master
master
December 3, 2024 04:55 18s
New implementation of variadic functions. test_everything #345: Commit 9dace60 pushed by eduardoejp
December 3, 2024 03:35 21s master
master
December 3, 2024 03:35 21s
Better definition of syntax macros. Better names for domain functions. test_everything #344: Commit 1b0f830 pushed by eduardoejp
November 27, 2024 00:21 16s master
master
November 27, 2024 00:21 16s
Re-named reversed to in_reverse, and sorted to in_order. test_everything #343: Commit e6bc86a pushed by eduardoejp
November 25, 2024 00:55 22s master
master
November 25, 2024 00:55 22s
Fix: Better hybrid file-system management for caching. test_everything #342: Commit 17060df pushed by eduardoejp
November 21, 2024 23:36 19s master
master
November 21, 2024 23:36 19s
Fix: No longer forgetting module reservations. test_everything #341: Commit 51dfe6d pushed by eduardoejp
November 21, 2024 22:05 22s master
master
November 21, 2024 22:05 22s
Added support for the Base64 format. test_everything #340: Commit feb7e17 pushed by eduardoejp
November 20, 2024 22:28 22s master
master
November 20, 2024 22:28 22s
1 fix for the tests and 1 fix for the compiler. test_everything #339: Commit 233406b pushed by eduardoejp
November 20, 2024 00:59 26s master
master
November 20, 2024 00:59 26s
Clean-up of adaptation functions. test_everything #338: Commit 02aa5b3 pushed by eduardoejp
October 22, 2024 12:29 25s master
master
October 22, 2024 12:29 25s
Added capacity for algebra, defining equations and projecting functions. test_everything #337: Commit ce76ccb pushed by eduardoejp
October 4, 2024 08:29 22s master
master
October 4, 2024 08:29 22s