Skip to content

Actions: triska/scryer-prolog

Actions

Docker Publish

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-publish.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

link to newly available paper on analysis of dose-escalation protocols Docker Publish #16: Commit 74a525a pushed by triska
February 18, 2024 08:25 16s master
master
February 18, 2024 08:25 16s
link to newly available paper on analysis of dose-escalation protocols Docker Publish #15: Commit 670df38 pushed by triska
February 18, 2024 08:22 19s master
master
February 18, 2024 08:22 19s
link to newly available paper Docker Publish #14: Commit 3ddf684 pushed by triska
February 18, 2024 08:18 28s master
master
February 18, 2024 08:18 28s
Correct arithmetic inequalities accidentally broken in f5d9a67f3688ec… Docker Publish #13: Commit 2f783f0 pushed by triska
January 7, 2024 08:34 16s master
master
January 7, 2024 08:34 16s
Correct arithmetic disequalities accidentally broken in f5d9a67f3688e… Docker Publish #12: Commit ec9e152 pushed by triska
January 7, 2024 08:31 15s master
master
January 7, 2024 08:31 15s
Prevent assertion of clauses for (-->)/2 when DCGs are enabled. Docker Publish #11: Commit f2b63d1 pushed by triska
January 5, 2024 17:50 24s master
master
January 5, 2024 17:50 24s