Skip to content

Actions: jorgefandinno/eclingo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Jorge/explit proven candidates rebasing CI #612: Pull request #69 opened by jorgefandinno
October 10, 2023 11:58 1m 34s jorge/explit-proven-candidates-rebasing
jorge/explit-proven-candidates-rebasing
October 10, 2023 11:58 1m 34s
Lute/rebasing (#68) CI #611: Commit 61055f8 pushed by jorgefandinno
October 10, 2023 11:53 56s jorge/explit-proven-candidates-rebasing
jorge/explit-proven-candidates-rebasing
October 10, 2023 11:53 56s
Lute/rebasing CI #610: Pull request #68 synchronize by jorgefandinno
October 7, 2023 21:19 1m 12s lute/rebasing
lute/rebasing
October 7, 2023 21:19 1m 12s
fix world_view_builder CI #609: Commit fc3d83c pushed by jorgefandinno
October 7, 2023 21:19 56s lute/rebasing
lute/rebasing
October 7, 2023 21:19 56s
Lute/rebasing CI #608: Pull request #68 opened by lute47lillo
October 7, 2023 18:19 1m 5s lute/rebasing
lute/rebasing
October 7, 2023 18:19 1m 5s
Remove dead code CI #607: Commit d0524eb pushed by lute47lillo
October 7, 2023 18:19 1m 35s lute/rebasing
lute/rebasing
October 7, 2023 18:19 1m 35s
update CI #606: Commit 23cfe2c pushed by jorgefandinno
October 7, 2023 15:51 1m 35s jorge/explit-proven-candidates-rebasing
jorge/explit-proven-candidates-rebasing
October 7, 2023 15:51 1m 35s
Lute/fixing branches (#66) CI #605: Commit 544a2e2 pushed by jorgefandinno
October 7, 2023 15:35 59s reification
reification
October 7, 2023 15:35 59s
update CI #604: Commit 100ae55 pushed by jorgefandinno
October 7, 2023 01:22 56s jorge/explit-proven-candidates
jorge/explit-proven-candidates
October 7, 2023 01:22 56s
update CI #603: Commit 0e337a5 pushed by jorgefandinno
October 7, 2023 01:05 1m 6s jorge/explit-proven-candidates
jorge/explit-proven-candidates
October 7, 2023 01:05 1m 6s
CI CI #602: by jorgefandinno
October 4, 2023 14:32 1m 41s jorge/explit-proven-candidates
jorge/explit-proven-candidates
October 4, 2023 14:32 1m 41s
Lute/fixing branches CI #601: Pull request #66 opened by lute47lillo
October 3, 2023 20:12 1m 15s lute/fixing_branches
lute/fixing_branches
October 3, 2023 20:12 1m 15s
Fixing branches (Output rewritten, show stms) CI #600: Commit 87a1835 pushed by lute47lillo
October 3, 2023 20:10 1m 26s lute/fixing_branches
lute/fixing_branches
October 3, 2023 20:10 1m 26s
Add output-e=rewritten & Remove reification AppConfig CI #599: Pull request #64 synchronize by lute47lillo
October 3, 2023 20:02 47s lute/add_output_options
lute/add_output_options
October 3, 2023 20:02 47s
Merge branch 'reified_program_wv' of github.com:jorgefandinno/eclingo… CI #598: Commit 741e4e7 pushed by lute47lillo
October 3, 2023 20:02 47s lute/add_output_options
lute/add_output_options
October 3, 2023 20:02 47s