Add missing Lem keywords from the Lem lexer · rems-project/sail@09c3ef3

Triggered via pull request November 20, 2023 11:16

bacam

opened #374

bacam:more_lem_keywords

Status Success

Total duration 14m 40s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

1 notice

There are 552 tests, see "Raw output" for the full list of tests.

Produced during runtime