Skip to content

Actions: rujialiu/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #62: Scheduled
February 21, 2024 00:58 21m 42s master
February 21, 2024 00:58 21m 42s
CI
CI #61: Scheduled
February 14, 2024 00:58 24m 50s master
February 14, 2024 00:58 24m 50s
CI
CI #60: Scheduled
February 7, 2024 00:56 22m 51s master
February 7, 2024 00:56 22m 51s
CI
CI #59: Scheduled
January 31, 2024 00:58 22m 21s master
January 31, 2024 00:58 22m 21s
CI
CI #58: Scheduled
January 24, 2024 01:03 22m 52s master
January 24, 2024 01:03 22m 52s
CI
CI #57: Scheduled
January 17, 2024 01:02 23m 25s master
January 17, 2024 01:02 23m 25s
CI
CI #56: Scheduled
January 10, 2024 01:02 24m 21s master
January 10, 2024 01:02 24m 21s
CI
CI #55: Scheduled
January 3, 2024 01:01 25m 42s master
January 3, 2024 01:01 25m 42s
CI
CI #54: Scheduled
December 27, 2023 00:59 23m 0s master
December 27, 2023 00:59 23m 0s
CI
CI #53: Scheduled
December 20, 2023 00:50 22m 28s master
December 20, 2023 00:50 22m 28s
clamp lower_bound_of_target_clause index (#840)
CI #52: Commit 299df50 pushed by rujialiu
December 19, 2023 07:03 23m 34s master
December 19, 2023 07:03 23m 34s
clamp lower_bound_of_target_clause index (#840)
Docker Publish #33: Commit 299df50 pushed by rujialiu
December 19, 2023 07:03 19s master
December 19, 2023 07:03 19s
CI
CI #51: Scheduled
December 13, 2023 01:02 30m 19s master
December 13, 2023 01:02 30m 19s
Merge pull request #2207 from infogulch/ci-build-before-test
Docker Publish #32: Commit 1e1426c pushed by rujialiu
December 11, 2023 01:58 24s master
December 11, 2023 01:58 24s
Merge pull request #2207 from infogulch/ci-build-before-test
CI #50: Commit 1e1426c pushed by rujialiu
December 11, 2023 01:58 30m 29s master
December 11, 2023 01:58 30m 29s
CI
CI #49: Scheduled
December 6, 2023 01:02 32m 19s master
December 6, 2023 01:02 32m 19s
CI
CI #48: Scheduled
November 29, 2023 01:02 29m 33s master
November 29, 2023 01:02 29m 33s
bind missing module atom in retract/1 (#2182)
CI #47: Commit b8ef367 pushed by rujialiu
November 28, 2023 10:08 37m 11s master
November 28, 2023 10:08 37m 11s
bind missing module atom in retract/1 (#2182)
Docker Publish #31: Commit b8ef367 pushed by rujialiu
November 28, 2023 10:08 23s master
November 28, 2023 10:08 23s
CI
CI #46: Scheduled
November 22, 2023 01:03 32m 22s master
November 22, 2023 01:03 32m 22s
CI
CI #45: Scheduled
November 15, 2023 01:00 28m 37s master
November 15, 2023 01:00 28m 37s
CI
CI #44: Scheduled
November 8, 2023 00:59 29m 59s master
November 8, 2023 00:59 29m 59s
fix compare_pstr_to_string (#2148)
CI #43: Commit 2dd1f6e pushed by rujialiu
November 6, 2023 02:01 45m 42s master
November 6, 2023 02:01 45m 42s
fix compare_pstr_to_string (#2148)
Docker Publish #30: Commit 2dd1f6e pushed by rujialiu
November 6, 2023 02:01 23s master
November 6, 2023 02:01 23s
update release version linked on website
Docker Publish #29: Commit dddffb0 pushed by rujialiu
November 3, 2023 05:33 27s master
November 3, 2023 05:33 27s