/
LA
lapisla-prover
/
Lapisla Prover API
Search skmtc…
⌘K
Sign in
Sign in
APIs
Generators
Stacks
Projects
Docs
History
Schema
Sources
Subscribe
29 versions
fix(backend, webui): allow underbar in filename
●
3
○
13
b49f61e
2025-02-09 07:44
✨ license related api modifications
○
7
2f73b4a
2025-02-06 08:02
feat: add timeline component with dynamic data fetching and avatar support
○
1
ccad3fd
2025-01-26 04:03
Merge pull request #198 from lapisla-prover/fix/#193-already-done-action-handling
○
1
198c0ee
2025-01-26 01:59
✨ ✨ update openapi schema for duplicate action
▲
5
●
3
○
3
993ec91
2025-01-26 01:08
feat: add githubId to users model and update user info retrieval
○
1
e303295
2025-01-25 17:38
✨ GET /me/user in openapi.yaml
○
3
1d1dd8b
2025-01-25 13:46
fix(api): update GitHub login flow to return JSON response with URL
○
4
b79c159
2025-01-25 08:25
✨ tags and descs for openapi
○
4
73df9de
2025-01-25 04:35
✨ update openapi
○
1
5cc3895
2025-01-25 00:14
🐛 fix openapi
▲
2
d7023a4
2025-01-23 16:34
openapiを修正 (#99)
▲
2
○
1
450eb59
2025-01-23 15:05
Merge pull request #85 from lapisla-prover/fix/responce-naming-case
▲
43
●
13
○
30
94c477c
2025-01-23 08:28
Merge branch 'main' into feat/#69-GET-registry
▲
43
●
13
○
31
2943642
2025-01-23 01:45
fix: update property names to use lower camel case in OpenAPI models and parameters
▲
43
●
16
○
34
31624aa
2025-01-22 16:13
🚧 WIP
▲
3
●
4
○
3
7514f64
2025-01-22 14:45
🐛 fixed invalid query param
▲
1
●
1
○
3
5cd4966
2025-01-22 13:17
🐛 add operationId
○
15
7b25b54
2025-01-22 08:52
✨ add bearer token auth for /me endpoint
○
8
1670977
2025-01-21 13:00
add GitHub OAuth login and callback endpoints
○
2
207270b
2025-01-21 09:05
🐛 fixed onenapi.yaml bug
▲
13
●
13
b4fd869
2025-01-21 03:13
🐛 all fields are required
○
13
54eac98
2025-01-20 16:00
✨ add regex validation
▲
13
○
27
8999029
2025-01-20 15:19
✨ add "Dependency" and "Project" for registry
○
5
4a7a810
2025-01-20 15:05
⚡️ 🐛 .../{file_name} returns only metadata
●
4
○
11
f6d034b
2025-01-20 14:40
🐛 add search result max length for search query
no API changes
a140d10
2025-01-20 14:10
✨ add code search endpoint
○
1
4d4edeb
2025-01-20 14:06
✨ add openapi.yaml
▲
43
●
2
○
71
faf467c
2025-01-20 13:38
1.0.0
latest
2026-07-17 12:10