Skip to content

Actions: PLTools/Lama

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

dunify in stdlib/regression Main workflow #75: Commit 3387bde pushed by Kakadu
September 5, 2024 15:23 2m 51s more-dune
more-dune
September 5, 2024 15:23 2m 51s
Add cram tests in regressin directory Main workflow #74: Commit fe48051 pushed by Kakadu
September 5, 2024 14:07 2m 36s more-dune
more-dune
September 5, 2024 14:07 2m 36s
More long tests in to separate directory Main workflow #73: Commit e3a25a6 pushed by Kakadu
September 5, 2024 13:42 2m 40s more-dune
more-dune
September 5, 2024 13:42 2m 40s
Cramify tests in regression/expressions Main workflow #72: Commit 0ac51d1 pushed by Kakadu
September 5, 2024 12:24 2m 55s more-dune
more-dune
September 5, 2024 12:24 2m 55s
1000 deep-expressions: add cram files, remove .input files Main workflow #71: Commit ef9dfff pushed by Kakadu
August 31, 2024 09:46 6m 41s more-dune
more-dune
August 31, 2024 09:46 6m 41s
10000 expressions: remove .input files, add .t files Main workflow #70: Commit 4ba1932 pushed by Kakadu
August 31, 2024 09:06 6m 8s more-dune
more-dune
August 31, 2024 09:06 6m 8s
WIP on dunifying tests Main workflow #69: Commit 7da4629 pushed by Kakadu
August 30, 2024 14:56 6m 9s more-dune
more-dune
August 30, 2024 14:56 6m 9s
Stdlib compiles twice Main workflow #68: Commit 0053a25 pushed by Kakadu
August 30, 2024 11:35 6m 8s more-dune
more-dune
August 30, 2024 11:35 6m 8s
WIP on more dune Main workflow #67: Commit 928d038 pushed by Kakadu
August 29, 2024 21:35 10m 8s more-dune
more-dune
August 29, 2024 21:35 10m 8s
Intermediate step to X32/X86 Main workflow #66: Commit 8a4ff68 pushed by dboulytchev
August 29, 2024 18:13 7m 19s 1.30
1.30
August 29, 2024 18:13 7m 19s
Removed autogenerating files Main workflow #65: Commit 172bd13 pushed by dboulytchev
August 28, 2024 17:57 10m 5s 1.30
1.30
August 28, 2024 17:57 10m 5s
Merge branch 'e2e4b6b7-1.30' into 1.30 Main workflow #64: Commit c8a56b7 pushed by dboulytchev
August 28, 2024 17:54 9m 33s 1.30
1.30
August 28, 2024 17:54 9m 33s
byterun/Makefile Main workflow #63: Commit 9836a37 pushed by dboulytchev
August 28, 2024 17:29 9m 32s devel
devel
August 28, 2024 17:29 9m 32s
Lama 1.30 Main workflow #62: Pull request #27 synchronize by e2e4b6b7
July 11, 2024 13:43 9m 27s e2e4b6b7:1.30
e2e4b6b7:1.30
July 11, 2024 13:43 9m 27s
fix linnk to Lama version in opam pin Main workflow #60: Commit 904b1aa pushed by dboulytchev
April 19, 2024 00:22 40m 18s devel
devel
April 19, 2024 00:22 40m 18s
-||- Main workflow #59: Commit e406662 pushed by danyaberezun
March 6, 2024 15:19 36m 0s experimantal
experimantal
March 6, 2024 15:19 36m 0s
Lbinoperror2: error -> warning Main workflow #58: Commit a6fba3c pushed by danyaberezun
March 6, 2024 15:05 6m 27s experimantal
experimantal
March 6, 2024 15:05 6m 27s
fix clean and run test Main workflow #57: Commit 3065b2a pushed by danyaberezun
March 6, 2024 10:59 35m 12s experimantal
experimantal
March 6, 2024 10:59 35m 12s
continue working on simple TODOs Main workflow #56: Commit d4546d1 pushed by danyaberezun
March 4, 2024 12:49 6m 9s experimantal
experimantal
March 4, 2024 12:49 6m 9s
add let-in as experimental sintax sugar over case Main workflow #55: Commit 77e9f16 pushed by danyaberezun
March 1, 2024 11:49 34m 27s experimantal
experimantal
March 1, 2024 11:49 34m 27s
fix linnk to Lama version in opam pin Main workflow #54: Commit 904b1aa pushed by danyaberezun
February 29, 2024 13:44 38m 59s 1.20
1.20
February 29, 2024 13:44 38m 59s
fix bash code for better copying in README Main workflow #53: Commit c89fe93 pushed by danyaberezun
February 29, 2024 13:39 9m 55s 1.20
1.20
February 29, 2024 13:39 9m 55s
Spec updated Main workflow #52: Commit 7541ea6 pushed by dboulytchev
December 6, 2023 16:50 34m 31s 1.20
1.20
December 6, 2023 16:50 34m 31s
Merge branch '1.20' of github.com:JetBrains-Research/Lama into 1.20 Main workflow #51: Commit d94bda0 pushed by dboulytchev
December 6, 2023 16:45 38m 15s 1.20
1.20
December 6, 2023 16:45 38m 15s
update link to correct lsp-server Main workflow #50: Commit be0b32f pushed by danyaberezun
November 8, 2023 12:17 41m 45s 1.20
1.20
November 8, 2023 12:17 41m 45s