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

Fixes of x86_64 compiler
Main workflow #100: Pull request #31 opened by e2e4b6b7
December 20, 2024 18:44 8m 23s e2e4b6b7:1.30
December 20, 2024 18:44 8m 23s
Fixed version
Main workflow #99: Commit 63e9c83 pushed by dboulytchev
November 18, 2024 20:29 37m 46s 1.20
November 18, 2024 20:29 37m 46s
Repair tests in regression
Main workflow #98: Commit 5dfd0a3 pushed by Kakadu
November 15, 2024 18:51 7m 58s 1.30
November 15, 2024 18:51 7m 58s
Promote many regression tests
Main workflow #97: Commit c3cc26c pushed by Kakadu
November 15, 2024 18:45 5m 32s 1.30
November 15, 2024 18:45 5m 32s
Merged src/dune
Main workflow #96: Commit 81d1e71 pushed by dboulytchev
November 15, 2024 17:40 10m 14s 1.30
November 15, 2024 17:40 10m 14s
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