Skip to content

Actions: infogulch/scryer-prolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
146 workflow runs
146 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #297: Scheduled
July 17, 2024 00:29 1d 15h 32m 17s master
master
July 17, 2024 00:29 1d 15h 32m 17s
CI CI #296: Scheduled
July 10, 2024 00:29 1d 15h 32m 24s master
master
July 10, 2024 00:29 1d 15h 32m 24s
CI CI #295: Scheduled
July 3, 2024 00:28 1d 15h 33m 15s master
master
July 3, 2024 00:28 1d 15h 33m 15s
CI CI #294: Scheduled
June 26, 2024 00:28 33m 52s master
master
June 26, 2024 00:28 33m 52s
CI CI #293: Scheduled
June 19, 2024 00:28 24m 53s master
master
June 19, 2024 00:28 24m 53s
CI CI #292: Scheduled
June 12, 2024 00:28 23m 55s master
master
June 12, 2024 00:28 23m 55s
CI CI #291: Scheduled
June 5, 2024 00:27 25m 24s master
master
June 5, 2024 00:27 25m 24s
CI CI #290: Scheduled
May 29, 2024 00:28 26m 7s master
master
May 29, 2024 00:28 26m 7s
CI CI #289: Scheduled
May 22, 2024 00:26 21m 44s master
master
May 22, 2024 00:26 21m 44s
more generally consider NEGATIVE_SIGN a non-op term (#2401) CI #288: Commit 070f1e8 pushed by infogulch
May 15, 2024 02:08 23m 22s master
master
May 15, 2024 02:08 23m 22s
CI CI #287: Scheduled
May 15, 2024 00:26 24m 22s master
master
May 15, 2024 00:26 24m 22s
CI CI #286: Scheduled
May 8, 2024 00:21 29m 41s master
master
May 8, 2024 00:21 29m 41s
CI CI #285: Scheduled
May 1, 2024 00:28 34m 8s master
master
May 1, 2024 00:28 34m 8s
CI CI #284: Scheduled
April 24, 2024 00:26 38m 22s master
master
April 24, 2024 00:26 38m 22s
CI CI #283: Scheduled
April 17, 2024 00:25 32m 17s master
master
April 17, 2024 00:25 32m 17s
CI CI #282: Scheduled
April 10, 2024 00:25 33m 42s master
master
April 10, 2024 00:25 33m 42s
CI CI #281: Scheduled
April 3, 2024 00:25 34m 11s master
master
April 3, 2024 00:25 34m 11s
Merge pull request #2367 from triska/dcg_meta_predicates CI #280: Commit ea9e24f pushed by infogulch
March 27, 2024 02:07 28m 48s master
master
March 27, 2024 02:07 28m 48s
CI CI #279: Scheduled
March 27, 2024 00:24 31m 7s master
master
March 27, 2024 00:24 31m 7s
CI CI #278: Scheduled
March 20, 2024 00:25 35m 7s master
master
March 20, 2024 00:25 35m 7s
CI CI #277: Scheduled
March 13, 2024 00:24 31m 56s master
master
March 13, 2024 00:24 31m 56s
CI CI #276: Scheduled
March 6, 2024 00:25 30m 26s master
master
March 6, 2024 00:25 30m 26s
Merge pull request #2351 from infogulch/install-current-iai CI #275: Commit e0c8163 pushed by infogulch
March 1, 2024 00:12 30m 11s master
master
March 1, 2024 00:12 30m 11s
Install version of iai-callgrind selected in Cargo.toml CI #274: Pull request #12 synchronize by infogulch
February 29, 2024 23:20 29m 26s install-current-iai
install-current-iai
February 29, 2024 23:20 29m 26s
Install version of iai-callgrind selected in Cargo.toml CI #273: Pull request #12 synchronize by infogulch
February 29, 2024 23:17 33m 48s install-current-iai
install-current-iai
February 29, 2024 23:17 33m 48s