Update examples.md: add Pigeons.jl #1860

Re-run triggered October 9, 2023 00:28

mortenpi

#2295

Status Failure

Total duration 14m 40s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

CI.yml

on: pull_request

Matrix: docs

Matrix: test

1 error and 1 warning

Process completed with exit code 1.

The following actions uses node12 which is deprecated and will be forced to run on node16: actionsx/prettier@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Produced during runtime

Name	Size
PDF build logs Expired	1.68 MB
PDFs Expired	814 KB