Skip to content

Actions: SWI-Prolog/swipl-devel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
737 workflow runs
737 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update ci.yml CI #225: Commit 6c2d1e1 pushed by JanWielemaker
November 4, 2023 14:50 4m 0s master
master
November 4, 2023 14:50 4m 0s
Update ci.yml CI #224: Pull request #1203 opened by jeswr
November 4, 2023 14:00 2m 53s jeswr:patch-1
jeswr:patch-1
November 4, 2023 14:00 2m 53s
Updated clib CI #223: Commit fae3757 pushed by JanWielemaker
November 3, 2023 17:14 4m 24s master
master
November 3, 2023 17:14 4m 24s
Updated cpp and swipy CI #222: Commit badb83c pushed by JanWielemaker
November 2, 2023 14:00 6m 53s master
master
November 2, 2023 14:00 6m 53s
FIXED: gcd function for LibBF on platforms with 32 bit long. CI #221: Commit 5b6ed48 pushed by JanWielemaker
November 2, 2023 12:52 3m 46s master
master
November 2, 2023 12:52 3m 46s
Updated swipy CI #220: Commit 5f0b094 pushed by JanWielemaker
November 2, 2023 10:56 3m 10s master
master
November 2, 2023 10:56 3m 10s
Updated cpp CI #219: Commit c21ce7e pushed by JanWielemaker
November 2, 2023 08:28 5m 40s master
master
November 2, 2023 08:28 5m 40s
Updated cpp CI #218: Commit 491badd pushed by JanWielemaker
November 2, 2023 08:22 4m 50s master
master
November 2, 2023 08:22 4m 50s
Preparing version 9.1.18 CI #217: Commit 12e0fe5 pushed by JanWielemaker
November 1, 2023 10:19 4m 14s master
master
November 1, 2023 10:19 4m 14s
FIXED: Issues with name/2 and number_codes/2 high Unicode points on W… CI #216: Commit b49f069 pushed by JanWielemaker
October 31, 2023 16:37 5m 57s master
master
October 31, 2023 16:37 5m 57s
Document init process more carefully CI #215: Commit ce52f1f pushed by JanWielemaker
October 31, 2023 13:20 4m 8s master
master
October 31, 2023 13:20 4m 8s
Updated swipy CI #214: Commit 59501e4 pushed by JanWielemaker
October 25, 2023 11:40 5m 55s master
master
October 25, 2023 11:40 5m 55s
Suppress autoload warnings from the cross referencer. CI #213: Commit 307d1a0 pushed by JanWielemaker
October 24, 2023 08:07 6m 12s master
master
October 24, 2023 08:07 6m 12s
FIXED: html to text translation float right CI #212: Commit d5c6e90 pushed by JanWielemaker
October 24, 2023 07:29 4m 25s master
master
October 24, 2023 07:29 4m 25s
FIXED: undo/1: calling hooks while backtracking could corrupt choicep… CI #211: Commit 7f0b8ab pushed by JanWielemaker
October 23, 2023 09:55 4m 16s master
master
October 23, 2023 09:55 4m 16s
FIXED: PL_get_size_ex() on 64 bit systems using LibBF based bignums. CI #210: Commit b4e4a19 pushed by JanWielemaker
October 23, 2023 07:45 3m 58s master
master
October 23, 2023 07:45 3m 58s
Fix typos, add an xref CI #209: Pull request #1202 opened by kamahen
October 22, 2023 16:46 5m 9s kamahen:name_arity
kamahen:name_arity
October 22, 2023 16:46 5m 9s
Updated cpp CI #208: Commit 2b252fa pushed by JanWielemaker
October 20, 2023 07:08 5m 12s master
master
October 20, 2023 07:08 5m 12s
Updated pldoc CI #207: Commit b240359 pushed by JanWielemaker
October 19, 2023 13:01 5m 28s master
master
October 19, 2023 13:01 5m 28s
Updated swipy CI #206: Commit eeaddb2 pushed by JanWielemaker
October 19, 2023 12:21 5m 7s master
master
October 19, 2023 12:21 5m 7s
Updated swipy CI #205: Commit 67a0083 pushed by JanWielemaker
October 18, 2023 19:46 5m 24s master
master
October 18, 2023 19:46 5m 24s
ENHANCED: help/1: keep track of modules for user predicates CI #204: Commit e00390b pushed by JanWielemaker
October 18, 2023 14:49 4m 19s master
master
October 18, 2023 14:49 4m 19s
TEST: Disable shared tabling tests conditionally. CI #203: Commit c9f050b pushed by JanWielemaker
October 18, 2023 07:54 5m 6s master
master
October 18, 2023 07:54 5m 6s
Updated pldoc CI #202: Commit 6dbf518 pushed by JanWielemaker
October 17, 2023 09:08 4m 16s master
master
October 17, 2023 09:08 4m 16s
Updated jpl CI #201: Commit 9585284 pushed by JanWielemaker
October 16, 2023 19:31 4m 1s master
master
October 16, 2023 19:31 4m 1s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.