Programming Cryptol PDF Update

Added documentation for REPL commands and :set-able options to reference manual #69

Sign in to view logs

Re-run triggered January 15, 2025 11:56

RyanGlScott

#1790

pfisher-existx:612-repl-commands-should-be-documented-in-one-place

Status Success

Total duration 15s

Artifacts –

book.yml

on: pull_request

Annotations

1 warning

update_needed

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636