Skip to content

Add Quint Xmas logo for secret santa blogpost #3695

Add Quint Xmas logo for secret santa blogpost

Add Quint Xmas logo for secret santa blogpost #3695

Annotations

1 warning

quint-antlr-grammar

succeeded Dec 18, 2024 in 1m 0s
Set up job
1s
Run actions/checkout@v4
6s
Run actions/setup-node@v3
13s
Run cd ./quint && npm install
33s
Run cd ./quint && npm run antlr
3s
Post Run actions/setup-node@v3
0s
Post Run actions/checkout@v4
0s
Complete job
0s