rems-project / sail

Sail architecture definition language
Other
622 stars 116 forks source link

Fix typo #740

Closed yuzibo closed 1 month ago

yuzibo commented 1 month ago

By checking with lintian from Debian

yuzibo commented 1 month ago

hmm, in fact, I'm not sure if these[0] [1] are deliberated line break also. if not I can include them into this commit.

Alasdair commented 1 month ago

Yes, those are tests that are deliberately testing weirdly formatted comments, so they should stay

yuzibo commented 1 month ago

Yes, those are tests that are deliberately testing weirdly formatted comments, so they should stay

Okay, thanks for confirming.

github-actions[bot] commented 1 month ago

Test Results

   10 files  ±0     22 suites  ±0   0s :stopwatch: ±0s   701 tests ±0    701 :white_check_mark: ±0  0 :zzz: ±0  0 :x: ±0  2 181 runs  ±0  2 180 :white_check_mark: ±0  1 :zzz: ±0  0 :x: ±0 

Results for commit 2fa67fcb. ± Comparison against base commit e7148e2b.