Improving Lesson 1.3 by mentioning longest match while scanning tokens · runtimeverification/k@f17c5ec

Triggered via pull request September 5, 2023 18:03

synchronize #3618

Status Success

Total duration 33m 28s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	139 MB