Skip to content

🤖 Sync org-wide files to upstream repo #646

🤖 Sync org-wide files to upstream repo

🤖 Sync org-wide files to upstream repo #646

Workflow file for this run

name: prolog / main
on:
push:
branches: [main]
pull_request:
workflow_dispatch:
jobs:
ci:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b
- name: Setup swi-prolog
uses: logtalk-actions/setup-swi-prolog@bf7d8c39fb30a188646579176d805496421c4ee5
with:
swi-prolog-branch: stable
swi-prolog-version: latest
- name: Install packages
run: swipl pack install date_time -y
- name: Verify all exercises
run: bin/verify-exercises.sh
- name: Verify test files
run: bin/verify-test-files.sh