Skip to content
This repository was archived by the owner on Oct 6, 2025. It is now read-only.

Actions: AdaCore/VSS

Actions

Spell checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
spellcheck.yml
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'topic/alire' into 'master' Spell checks #542: Commit 2934424 pushed by adacore-bot
1m 5s master
master
1m 5s
Merge branch 'topic/ci' into 'master' Spell checks #541: Commit 9b2490b pushed by adacore-bot
19s master
master
19s
Merge branch 'topic/string-lib' into 'master' Spell checks #540: Commit 2b49018 pushed by adacore-bot
1m 26s master
master
1m 26s
Merge branch 'revert-3ff728bc' into 'master' Spell checks #539: Commit 0f4e185 pushed by adacore-bot
1m 18s master
master
1m 18s
Merge branch 'topic/vadim/text' into 'master' Spell checks #538: Commit 3ff728b pushed by adacore-bot
1m 11s master
master
1m 11s
Merge branch 'topic/vadim/tests' into 'master' Spell checks #537: Commit 00d0a38 pushed by adacore-bot
20s master
master
20s
Merge branch 'topic/vadim/tests' into 'master' Spell checks #536: Commit 6fb1de7 pushed by adacore-bot
1m 13s master
master
1m 13s
Merge branch 'topic/json_schema' into 'master' Spell checks #535: Commit 71c07f1 pushed by adacore-bot
26s master
master
26s
Merge branch 'topic/vadim/immutable' into 'master' Spell checks #534: Commit 07c8a5e pushed by adacore-bot
25s master
master
25s
Merge branch 'topic/vadim/tests' into 'master' Spell checks #533: Commit 57ba302 pushed by adacore-bot
23s master
master
23s
Merge branch 'topic/vadim/immutable' into 'master' Spell checks #532: Commit 9d7cbb6 pushed by adacore-bot
20s master
master
20s
Merge branch 'topic/regexp_test' into 'master' Spell checks #531: Commit 5545da8 pushed by adacore-bot
22s master
master
22s
Merge branch 'topic/fix_regexp_b' into 'master' Spell checks #530: Commit 9bd4003 pushed by adacore-bot
1m 18s master
master
1m 18s
Merge branch 'topic/vadim/json-push' into 'master' Spell checks #529: Commit b3d75a1 pushed by adacore-bot
1m 19s master
master
1m 19s
Fix: correct the semantics of \b Spell checks #528: Pull request #221 opened by ZhangZhuoSJTU
17s ZhangZhuoSJTU:fix/boundry
ZhangZhuoSJTU:fix/boundry
17s
Merge branch 'topic/regexp_empty_cl' into 'master' Spell checks #527: Commit df10828 pushed by adacore-bot
3m 39s master
master
3m 39s
Fix: empty set means matching nothing Spell checks #526: Pull request #219 synchronize by ZhangZhuoSJTU
2m 52s ZhangZhuoSJTU:master
ZhangZhuoSJTU:master
2m 52s
Fix: empty set means matching nothing Spell checks #525: Pull request #219 opened by ZhangZhuoSJTU
23s ZhangZhuoSJTU:master
ZhangZhuoSJTU:master
23s
Merge branch 'topic/fix_regexp' into 'master' Spell checks #524: Commit 63e5e25 pushed by adacore-bot
52s master
master
52s
Fix: ensure assertion is not quantifiable and avoid deep stack Spell checks #523: Pull request #217 opened by ZhangZhuoSJTU
20s ZhangZhuoSJTU:master
ZhangZhuoSJTU:master
20s
Merge branch 'topic/vadim/html5' into 'master' Spell checks #522: Commit a1fab35 pushed by adacore-bot
1m 36s master
master
1m 36s
Merge branch 'topic/vadim/html5' into 'master' Spell checks #521: Commit 6dc36d0 pushed by adacore-bot
19s master
master
19s
Add Get_Line function Spell checks #520: Pull request #213 synchronize by atalii
22s atalii:get_line
atalii:get_line
22s
Merge branch 'topic/vadim/modular' into 'master' Spell checks #519: Commit 68388b0 pushed by adacore-bot
21s master
master
21s
Merge branch 'topic/fix_json_gen' into 'master' Spell checks #518: Commit 1d39f72 pushed by adacore-bot
23s master
master
23s