Skip to content

Actions: mthom/scryer-prolog

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
530 workflow runs
530 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2847 from triska/call_with_error_context CI #1420: Commit 1618739 pushed by mthom
March 9, 2025 20:21 24m 0s master
master
March 9, 2025 20:21 24m 0s
ADDED: type pair CI #1419: Pull request #2847 opened by triska
March 8, 2025 13:51 24m 16s triska:call_with_error_context
triska:call_with_error_context
March 8, 2025 13:51 24m 16s
Merge pull request #2846 from triska/call_with_error_context CI #1418: Commit 7ac84d3 pushed by mthom
March 8, 2025 08:39 24m 54s master
master
March 8, 2025 08:39 24m 54s
ADDED: call_with_error_context/2 CI #1417: Pull request #2846 opened by triska
March 8, 2025 08:14 23m 22s triska:call_with_error_context
triska:call_with_error_context
March 8, 2025 08:14 23m 22s
Fix parsing of \x0\ in partial strings CI #1416: Pull request #2843 synchronize by bakaq
March 5, 2025 08:03 19m 48s bakaq:partial_string_null
bakaq:partial_string_null
March 5, 2025 08:03 19m 48s
CI CI #1415: Scheduled
March 5, 2025 01:14 25m 58s master
master
March 5, 2025 01:14 25m 58s
Fix parsing of \x0\ in partial strings CI #1414: Pull request #2843 opened by bakaq
March 3, 2025 06:59 20m 5s bakaq:partial_string_null
bakaq:partial_string_null
March 3, 2025 06:59 20m 5s
rebis-dev 1.77 and Clippy CI #1413: Pull request #2831 synchronize by bakaq
March 2, 2025 08:43 20m 40s bakaq:rebis_fmt_clippy
bakaq:rebis_fmt_clippy
March 2, 2025 08:43 20m 40s
rebis-dev 1.77 and Clippy CI #1412: Pull request #2831 synchronize by bakaq
March 2, 2025 08:42 20m 25s bakaq:rebis_fmt_clippy
bakaq:rebis_fmt_clippy
March 2, 2025 08:42 20m 25s
Merge pull request #2837 from notoria/next CI #1411: Commit 3799974 pushed by mthom
March 1, 2025 21:40 24m 47s master
master
March 1, 2025 21:40 24m 47s
Merge pull request #2836 from triska/format_floats CI #1410: Commit 9da0a06 pushed by mthom
March 1, 2025 09:45 24m 22s master
master
March 1, 2025 09:45 24m 22s
Fix conversion from float to rational CI #1409: Pull request #2837 opened by notoria
February 28, 2025 10:24 23m 39s notoria:next
notoria:next
February 28, 2025 10:24 23m 39s
Correct handling of floats in format/2 and portray_clause/1 CI #1408: Pull request #2836 synchronize by triska
February 28, 2025 06:58 26m 23s triska:format_floats
triska:format_floats
February 28, 2025 06:58 26m 23s
Correct handling of floats in format/2 and portray_clause/1 CI #1407: Pull request #2836 opened by triska
February 28, 2025 06:55 25m 6s triska:format_floats
triska:format_floats
February 28, 2025 06:55 25m 6s
Merge pull request #2835 from thierrymarianne/fix-http_open-hanging-o… CI #1406: Commit a0e3283 pushed by mthom
February 28, 2025 05:39 27m 38s master
master
February 28, 2025 05:39 27m 38s
Merge pull request #2792 from triska/must_be_chars CI #1405: Commit c9a0f33 pushed by mthom
February 28, 2025 05:26 28m 42s master
master
February 28, 2025 05:26 28m 42s
Merge pull request #2825 from bakaq/wasm_rework CI #1404: Commit aeacccb pushed by mthom
February 28, 2025 05:26 28m 21s master
master
February 28, 2025 05:26 28m 21s
CI CI #1403: Scheduled
February 26, 2025 01:12 24m 17s master
master
February 26, 2025 01:12 24m 17s
Prevent http_open/3 from hanging CI #1402: Pull request #2835 opened by thierrymarianne
February 25, 2025 20:09 24m 45s thierrymarianne:fix-http_open-hanging-on-top-of-main-branch
thierrymarianne:fix-http_open-hanging-on-top-of-main-branch
February 25, 2025 20:09 24m 45s
rebis-dev 1.77 and Clippy CI #1400: Pull request #2831 synchronize by bakaq
February 20, 2025 18:38 5m 28s bakaq:rebis_fmt_clippy
bakaq:rebis_fmt_clippy
February 20, 2025 18:38 5m 28s
Wasm rework CI #1399: Pull request #2825 synchronize by bakaq
February 20, 2025 04:06 52m 23s bakaq:wasm_rework
bakaq:wasm_rework
February 20, 2025 04:06 52m 23s
Wasm rework CI #1398: Pull request #2825 synchronize by bakaq
February 20, 2025 04:05 27m 33s bakaq:wasm_rework
bakaq:wasm_rework
February 20, 2025 04:05 27m 33s
Wasm rework CI #1397: Pull request #2825 synchronize by bakaq
February 20, 2025 03:42 27m 13s bakaq:wasm_rework
bakaq:wasm_rework
February 20, 2025 03:42 27m 13s
rebis-dev 1.77 and Clippy CI #1396: Pull request #2831 opened by bakaq
February 19, 2025 23:55 1m 38s bakaq:rebis_fmt_clippy
bakaq:rebis_fmt_clippy
February 19, 2025 23:55 1m 38s
CI CI #1395: Scheduled
February 19, 2025 01:11 24m 40s master
master
February 19, 2025 01:11 24m 40s