Skip to content

Actions: jorgefandinno/eclingo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96 workflow runs
96 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixes for publishing CI #662: Commit 508d86a pushed by jorgefandinno
December 11, 2024 15:42 19s pre-publish
pre-publish
December 11, 2024 15:42 19s
update CI #661: Commit dca9fab pushed by jorgefandinno
December 11, 2024 15:27 1m 0s k15-translation
k15-translation
December 11, 2024 15:27 1m 0s
translator CI #660: Commit 9411fcf pushed by jorgefandinno
December 11, 2024 15:27 56s k15-translation
k15-translation
December 11, 2024 15:27 56s
fixing --text CI #659: Commit 3ab031f pushed by jorgefandinno
December 10, 2024 23:03 52s develop
develop
December 10, 2024 23:03 52s
fixing --text CI #658: Commit 3ab031f pushed by jorgefandinno
December 5, 2024 01:46 51s k15-translation
k15-translation
December 5, 2024 01:46 51s
Jorge/partition (#73) CI #657: Commit 5268fc2 pushed by jorgefandinno
December 4, 2024 23:42 4m 55s develop
develop
December 4, 2024 23:42 4m 55s
Jorge/partition CI #656: Pull request #73 opened by jorgefandinno
December 4, 2024 23:42 4m 53s jorge/partition
jorge/partition
December 4, 2024 23:42 4m 53s
M operator CI #655: Commit c5bc54e pushed by jorgefandinno
December 4, 2024 22:58 54s jorge/partition
jorge/partition
December 4, 2024 22:58 54s
update CI #654: Commit f8c3fff pushed by jorgefandinno
December 4, 2024 19:28 51s jorge/partition
jorge/partition
December 4, 2024 19:28 51s
fix typing CI #653: Commit 7da9497 pushed by jorgefandinno
December 4, 2024 19:26 53s jorge/partition
jorge/partition
December 4, 2024 19:26 53s
update CI #652: Commit dee4262 pushed by jorgefandinno
December 4, 2024 19:22 54s jorge/partition
jorge/partition
December 4, 2024 19:22 54s
typing control.py CI #651: Commit bba0db2 pushed by jorgefandinno
December 4, 2024 19:22 56s jorge/partition
jorge/partition
December 4, 2024 19:22 56s
update CI #650: Commit c1128e3 pushed by jorgefandinno
December 4, 2024 18:08 4m 55s jorge/partition
jorge/partition
December 4, 2024 18:08 4m 55s
modifying util.partion implementation to be more natural and more per… CI #649: Commit e7f6793 pushed by jorgefandinno
November 15, 2024 18:34 1m 1s jorge/partition
jorge/partition
November 15, 2024 18:34 1m 1s
fix pylint complain CI #648: Commit 26460d7 pushed by jorgefandinno
November 15, 2024 16:54 4m 52s develop
develop
November 15, 2024 16:54 4m 52s
fix pylint complain CI #647: Commit 26460d7 pushed by jorgefandinno
October 23, 2024 21:50 4m 49s jorge/strong-negation-issue
jorge/strong-negation-issue
October 23, 2024 21:50 4m 49s
fixing strong negation CI #646: Commit a238b29 pushed by jorgefandinno
October 23, 2024 21:44 2m 41s jorge/strong-negation-issue
jorge/strong-negation-issue
October 23, 2024 21:44 2m 41s
fixing strong negation CI #645: Commit a238b29 pushed by jorgefandinno
October 23, 2024 21:43 2m 47s develop
develop
October 23, 2024 21:43 2m 47s
Reification2 (#72) CI #644: Commit 61de0ab pushed by jorgefandinno
July 17, 2024 13:07 4m 59s develop
develop
July 17, 2024 13:07 4m 59s
Reification2 CI #643: Pull request #72 opened by lute47lillo
July 17, 2024 11:56 5m 17s reification2
reification2
July 17, 2024 11:56 5m 17s
bug with double negation solved CI #642: Commit 40d2193 pushed by jorgefandinno
May 15, 2024 22:28 3m 19s newexample
newexample
May 15, 2024 22:28 3m 19s
clingo 5.6 in the tests CI #641: Commit 2e66a9b pushed by jorgefandinno
May 2, 2024 18:36 58s reification2
reification2
May 2, 2024 18:36 58s
clingo 5.7 in the tests CI #640: Commit ef86e30 pushed by jorgefandinno
May 2, 2024 18:36 57s reification2
reification2
May 2, 2024 18:36 57s
typecheck correction CI #639: Commit aee889e pushed by jorgefandinno
May 2, 2024 18:27 2m 44s reification2
reification2
May 2, 2024 18:27 2m 44s
typo CI #638: Commit 57faf3e pushed by jorgefandinno
May 2, 2024 18:04 2m 48s reification2
reification2
May 2, 2024 18:04 2m 48s