Skip to content

Actions: ciao-lang/ciao

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

(core) minor, comments in mexpand.pl Build #95: Commit 95d9a47 pushed by jfmc
November 15, 2024 18:33 9m 15s master
master
November 15, 2024 18:33 9m 15s
(ci) update gh workflow: setup-emsdk version Build #94: Commit 88a8b4e pushed by jfmc
October 15, 2024 19:56 9m 11s v1.24.0-m1
v1.24.0-m1
October 15, 2024 19:56 9m 11s
(ci) update gh workflow: setup-emsdk version Build #93: Commit 88a8b4e pushed by jfmc
October 13, 2024 22:42 8m 50s v1.24.0-m1
v1.24.0-m1
October 13, 2024 22:42 8m 50s
(ci) update gh workflow: setup-emsdk version Build #92: Commit 88a8b4e pushed by jfmc
October 13, 2024 22:39 7m 59s v1.24.0-m1
v1.24.0-m1
October 13, 2024 22:39 7m 59s
(ci) update gh workflow: setup-emsdk version Build #91: Commit 88a8b4e pushed by jfmc
October 13, 2024 22:35 8m 29s master
master
October 13, 2024 22:35 8m 29s
Bump Ciao version to 1.24 Build #90: Commit a446f8e pushed by jfmc
October 13, 2024 21:10 8m 38s v1.24.0-m1
v1.24.0-m1
October 13, 2024 21:10 8m 38s
Bump Ciao version to 1.24 Build #89: Commit a446f8e pushed by jfmc
October 13, 2024 21:04 8m 40s master
master
October 13, 2024 21:04 8m 40s
(core) new library(openpg): open a file in the playground Build #88: Commit cd2fa42 pushed by jfmc
October 13, 2024 20:42 8m 51s master
master
October 13, 2024 20:42 8m 51s
(core) p_unit: save native/2 and regtype/2 info in lib cache Build #87: Commit 81677f2 pushed by jfmc
August 2, 2024 04:14 8m 42s master
master
August 2, 2024 04:14 8m 42s
Fix win32 issues in eng_start.c Build #86: Commit b98e56b pushed by jfmc
July 22, 2024 22:05 8m 12s master
master
July 22, 2024 22:05 8m 12s
(engine) fix prolog_wait for win32 Build #85: Commit a8dd05e pushed by jfmc
July 22, 2024 21:42 2m 54s master
master
July 22, 2024 21:42 2m 54s
(engine) select() is not available in mingw64, dummy version of $inpu… Build #84: Commit 4c922d2 pushed by jfmc
July 22, 2024 18:51 2m 37s master
master
July 22, 2024 18:51 2m 37s
Disabled 32-bit build in Ubuntu Build #83: Commit d45e977 pushed by jfmc
July 22, 2024 17:42 2m 9s master
master
July 22, 2024 17:42 2m 9s
(engine) avoid warning for unused var in get_execpath() for some archs Build #82: Commit 88cdf78 pushed by jfmc
July 22, 2024 17:28 44s master
master
July 22, 2024 17:28 44s
Update release tags Build #81: Commit e1bfef8 pushed by jfmc
March 5, 2024 20:25 9m 34s v1.23.0-m1
v1.23.0-m1
March 5, 2024 20:25 9m 34s
Update release tags Build #80: Commit e1bfef8 pushed by jfmc
March 5, 2024 20:24 8m 54s master
master
March 5, 2024 20:24 8m 54s
(core) minor in clpfd examples Build #79: Commit b0efed7 pushed by jfmc
March 5, 2024 20:06 9m 17s v1.23.0-m1
v1.23.0-m1
March 5, 2024 20:06 9m 17s
(core) minor in clpfd examples Build #78: Commit b0efed7 pushed by jfmc
March 5, 2024 19:08 9m 34s master
master
March 5, 2024 19:08 9m 34s
Bump Ciao version to 1.23 Build #77: Commit f93561c pushed by jfmc
March 5, 2024 18:22 6m 39s master
master
March 5, 2024 18:22 6m 39s