Skip to content

Actions: PLTools/Lama

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #29 from deker104/fix/build-files
Main workflow #95: Commit bf74ca7 pushed by dboulytchev
November 12, 2024 18:30 9m 2s 1.30
November 12, 2024 18:30 9m 2s
Update build files to install standard library
Main workflow #94: Pull request #29 opened by deker104
November 12, 2024 07:53 9m 2s deker104:fix/build-files
November 12, 2024 07:53 9m 2s
Add space after 'Version'
Main workflow #93: Commit 5da0273 pushed by Kakadu
November 1, 2024 19:23 9m 1s 1.30
November 1, 2024 19:23 9m 1s
Fixed paths
Main workflow #92: Commit 0981047 pushed by dboulytchev
November 1, 2024 19:16 5m 48s 1.30
November 1, 2024 19:16 5m 48s
Repair uninstall command
Main workflow #91: Commit 0553fc7 pushed by Kakadu
November 1, 2024 19:09 9m 22s 1.30
November 1, 2024 19:09 9m 22s
Merge pull request #28 from PLTools/more-dune
Main workflow #90: Commit d836301 pushed by dboulytchev
September 13, 2024 00:34 6m 58s 1.30
September 13, 2024 00:34 6m 58s
More dune
Main workflow #89: Pull request #28 opened by Kakadu
September 6, 2024 08:21 5m 38s more-dune
September 6, 2024 08:21 5m 38s
Fixing mac build: negating Darwin ~~> OKaying linux
Main workflow #88: Commit cd033dd pushed by Kakadu
September 5, 2024 20:39 5m 36s more-dune
September 5, 2024 20:39 5m 36s
Fix build on darwin
Main workflow #87: Commit ab75485 pushed by Kakadu
September 5, 2024 19:21 5m 59s more-dune
September 5, 2024 19:21 5m 59s
Pick back two runtime Makefiles
Main workflow #86: Commit ff0e437 pushed by Kakadu
September 5, 2024 18:43 5m 56s more-dune
September 5, 2024 18:43 5m 56s
Fixing mac build: negating Darwin ~~> OKaying linux
Main workflow #85: Commit aaf0bdc pushed by Kakadu
September 5, 2024 18:15 5m 52s more-dune
September 5, 2024 18:15 5m 52s
Continue disable Darwin
Main workflow #84: Commit 0b2598e pushed by Kakadu
September 5, 2024 17:16 5m 51s more-dune
September 5, 2024 17:16 5m 51s
Disable x32 when os_type = Darwin
Main workflow #83: Commit b8a6c16 pushed by Kakadu
September 5, 2024 16:52 5m 29s more-dune
September 5, 2024 16:52 5m 29s
Fix Makefile
Main workflow #82: Commit 59273f7 pushed by Kakadu
September 5, 2024 16:37 6m 13s more-dune
September 5, 2024 16:37 6m 13s
Improve opam file
Main workflow #81: Commit cee8955 pushed by Kakadu
September 5, 2024 16:12 5m 54s more-dune
September 5, 2024 16:12 5m 54s
Improve opam file
Main workflow #80: Commit 1bed351 pushed by Kakadu
September 5, 2024 16:01 9m 14s more-dune
September 5, 2024 16:01 9m 14s
CI: bump version of OCaml to 4.14.2
Main workflow #79: Commit 538299e pushed by Kakadu
September 5, 2024 15:48 10m 44s 1.30
September 5, 2024 15:48 10m 44s
Minor polishing
Main workflow #78: Commit 06ba411 pushed by Kakadu
September 5, 2024 15:43 2m 29s more-dune
September 5, 2024 15:43 2m 29s
Fix CI
Main workflow #77: Commit b6b1725 pushed by Kakadu
September 5, 2024 15:35 6m 48s 1.30
September 5, 2024 15:35 6m 48s
CI: enable for branches 1.30 and more-dune
Main workflow #76: Commit 725c766 pushed by Kakadu
September 5, 2024 15:34 Failure 1.30
September 5, 2024 15:34 Failure
dunify in stdlib/regression
Main workflow #75: Commit 3387bde pushed by Kakadu
September 5, 2024 15:23 2m 51s 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
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
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
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
August 31, 2024 09:46 6m 41s