Skip to content

Actions: Fundament-Software/Alicorn0

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow run results
35 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fitsinto: rework fitsinto to actually do subtyping nix flake check #129: Pull request #48 synchronize by LunNova
December 7, 2023 21:33 1m 30s LunNova:lunnova/fitsinto-testcases
LunNova:lunnova/fitsinto-testcases
December 7, 2023 21:33 1m 30s
fitsinto: rework fitsinto to actually do subtyping nix flake check #128: Pull request #48 synchronize by LunNova
December 7, 2023 20:22 1m 36s LunNova:lunnova/fitsinto-testcases
LunNova:lunnova/fitsinto-testcases
December 7, 2023 20:22 1m 36s
fitsinto: rework fitsinto to actually do subtyping nix flake check #127: Pull request #48 synchronize by LunNova
December 7, 2023 19:29 1m 38s LunNova:lunnova/fitsinto-testcases
LunNova:lunnova/fitsinto-testcases
December 7, 2023 19:29 1m 38s
fitsinto: rework fitsinto to actually do subtyping nix flake check #126: Pull request #48 synchronize by LunNova
December 7, 2023 03:58 1m 35s LunNova:lunnova/fitsinto-testcases
LunNova:lunnova/fitsinto-testcases
December 7, 2023 03:58 1m 35s
fitsinto: rework fitsinto to actually do subtyping nix flake check #125: Pull request #48 opened by LunNova
December 7, 2023 02:03 1m 29s LunNova:lunnova/fitsinto-testcases
LunNova:lunnova/fitsinto-testcases
December 7, 2023 02:03 1m 29s
Merge pull request #47 from LunNova/lunnova/debugging-boxing nix flake check #124: Commit ae51df4 pushed by aiverson
December 6, 2023 21:52 1m 26s main
main
December 6, 2023 21:52 1m 26s
Fix for boxing qtype and debugging improvements nix flake check #123: Pull request #47 opened by LunNova
December 6, 2023 21:47 1m 37s LunNova:lunnova/debugging-boxing
LunNova:lunnova/debugging-boxing
December 6, 2023 21:47 1m 37s
fix a bug in calling pi functions nix flake check #122: Commit 56bf716 pushed by aiverson
December 6, 2023 20:44 1m 30s main
main
December 6, 2023 20:44 1m 30s
add box and unbox operations to environment, bugged nix flake check #121: Commit e4b142b pushed by aiverson
December 6, 2023 19:34 1m 39s main
main
December 6, 2023 19:34 1m 39s
fix the types of prim-number and prim-type nix flake check #120: Commit e28bd68 pushed by aiverson
December 6, 2023 18:37 1m 37s main
main
December 6, 2023 18:37 1m 37s
add prim-type to env and try making an array nix flake check #119: Commit 8c07218 pushed by aiverson
December 5, 2023 01:17 1m 29s main
main
December 5, 2023 01:17 1m 29s
Merge pull request #46 from LunNova/lunnova/workaround-lomgstring nix flake check #118: Commit 8ef7ec5 pushed by bootstrap-prime
December 4, 2023 04:18 1m 27s main
main
December 4, 2023 04:18 1m 27s
format: bodge longstring like string nix flake check #117: Pull request #46 synchronize by LunNova
December 4, 2023 03:09 1m 30s LunNova:lunnova/workaround-lomgstring
LunNova:lunnova/workaround-lomgstring
December 4, 2023 03:09 1m 30s
format: bodge longstring like string nix flake check #116: Pull request #46 opened by LunNova
December 4, 2023 03:09 1m 29s LunNova:lunnova/workaround-lomgstring
LunNova:lunnova/workaround-lomgstring
December 4, 2023 03:09 1m 29s
Put longstring in the right order nix flake check #115: Commit 0425da3 pushed by ErikMcClure
December 4, 2023 01:46 1m 27s main
main
December 4, 2023 01:46 1m 27s
Merge pull request #45 from LunNova/lunnova/prettier_print nix flake check #114: Commit 64f7f69 pushed by aiverson
December 3, 2023 18:26 1m 27s main
main
December 3, 2023 18:26 1m 27s
derivers: special case pretty_print for single element to simplify common terms nix flake check #113: Pull request #45 opened by LunNova
December 3, 2023 18:17 1m 44s LunNova:lunnova/prettier_print
LunNova:lunnova/prettier_print
December 3, 2023 18:17 1m 44s
Add most of the boilerplate for the substitution operation nix flake check #112: Commit f8ca49d pushed by ErikMcClure
December 2, 2023 12:45 1m 37s main
main
December 2, 2023 12:45 1m 37s
add example cases for substitution nix flake check #111: Commit 7436946 pushed by aiverson
December 1, 2023 23:19 1m 28s main
main
December 1, 2023 23:19 1m 28s
add application of prim result nix flake check #110: Commit b40654f pushed by aiverson
December 1, 2023 17:19 1m 30s main
main
December 1, 2023 17:19 1m 30s
Merge pull request #44 from Fundament-Software/lunnova/prim_function_… nix flake check #109: Commit d39c6bb pushed by aiverson
November 28, 2023 13:48 1m 30s main
main
November 28, 2023 13:48 1m 30s
Add check for values of different kinds nix flake check #108: Pull request #43 synchronize by AstroSnail
November 27, 2023 11:39 1m 31s AstroSnail:fix-inferrable-prim-intrinsic
AstroSnail:fix-inferrable-prim-intrinsic
November 27, 2023 11:39 1m 31s
evaluator: fix prim_func_type using args term as returns term nix flake check #107: Pull request #44 opened by LunNova
November 26, 2023 22:11 1m 28s lunnova/prim_function_type_infer_swapped
lunnova/prim_function_type_infer_swapped
November 26, 2023 22:11 1m 28s
evaluator: fix prim_func_type using args term as returns term nix flake check #106: Commit e5ef4e8 pushed by LunNova
November 26, 2023 22:11 1m 30s lunnova/prim_function_type_infer_swapped
lunnova/prim_function_type_infer_swapped
November 26, 2023 22:11 1m 30s
intrinsic can infer and call nix flake check #105: Commit e6958c3 pushed by aiverson
November 26, 2023 18:02 1m 28s main
main
November 26, 2023 18:02 1m 28s