Skip to content

Actions: BRonen/sqlite-lean

Actions

LSpec CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lspec.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from usernamenotavailablepleasechooseanother/ma… LSpec CI #31: Commit 2fa00e9 pushed by BRonen
46s master
master
46s
Update Lean and SQLite LSpec CI #30: Pull request #6 synchronize by usernamenotavailablepleasechooseanother
42s usernamenotavailablepleasechooseanother:master
usernamenotavailablepleasechooseanother:master
42s
Update Lean and SQLite LSpec CI #29: Pull request #6 opened by usernamenotavailablepleasechooseanother
44s usernamenotavailablepleasechooseanother:master
usernamenotavailablepleasechooseanother:master
44s
Merge pull request #5 from ValorZard/update-readme LSpec CI #28: Commit 871d652 pushed by BRonen
50s master
master
50s
Update README.md with build details LSpec CI #27: Pull request #5 synchronize by ValorZard
39s ValorZard:update-readme
ValorZard:update-readme
39s
Update README.md with build details LSpec CI #26: Pull request #5 synchronize by ValorZard
37s ValorZard:update-readme
ValorZard:update-readme
37s
Update README.md with build details LSpec CI #25: Pull request #5 synchronize by ValorZard
36s ValorZard:update-readme
ValorZard:update-readme
36s
Update README.md with build details LSpec CI #24: Pull request #5 opened by ValorZard
34s ValorZard:update-readme
ValorZard:update-readme
34s
Merge pull request #3 from usernamenotavailablepleasechooseanother/ma… LSpec CI #23: Commit c55b94a pushed by BRonen
41s master
master
41s
Fix linker error on Windows, improve tests LSpec CI #22: Pull request #3 synchronize by usernamenotavailablepleasechooseanother
46s usernamenotavailablepleasechooseanother:master
usernamenotavailablepleasechooseanother:master
46s
Fix linker error on Windows, improve tests LSpec CI #21: Pull request #3 opened by usernamenotavailablepleasechooseanother
41s usernamenotavailablepleasechooseanother:master
usernamenotavailablepleasechooseanother:master
41s
Merge pull request #2 from BRonen/remove-nix-from-tests-action LSpec CI #20: Commit 8a238d8 pushed by BRonen
40s master
master
40s
remove nix from github actions LSpec CI #19: Pull request #2 synchronize by BRonen
44s remove-nix-from-tests-action
remove-nix-from-tests-action
44s
remove nix from github actions LSpec CI #18: Pull request #2 synchronize by BRonen
37s remove-nix-from-tests-action
remove-nix-from-tests-action
37s
remove nix from github actions LSpec CI #17: Pull request #2 opened by BRonen
43s remove-nix-from-tests-action
remove-nix-from-tests-action
43s
Merge pull request #1 from ValorZard/master LSpec CI #16: Commit 5a9c998 pushed by BRonen
17s master
master
17s
docs: create LICENSE LSpec CI #9: Commit 75d0dab pushed by BRonen
1m 4s master
master
1m 4s
docs(readme): add installation LSpec CI #8: Commit 2a1362b pushed by BRonen
15s master
master
15s
docs: create LICENSE LSpec CI #7: Commit 75d0dab pushed by BRonen
1m 2s master
master
1m 2s
refactor: remove unnecessary assert method from tests LSpec CI #6: Commit df7f9d4 pushed by BRonen
1m 2s master
master
1m 2s
test: initial project test cases LSpec CI #5: Commit 4ce0c13 pushed by BRonen
1m 3s master
master
1m 3s
test: add wrong test to validate ci action LSpec CI #4: Commit 7c8aece pushed by BRonen
1m 7s master
master
1m 7s
ci(lspec): fix the nix installed bin path access LSpec CI #3: Commit df80bd9 pushed by BRonen
1m 1s master
master
1m 1s
ci(lspec): usingnix as package manager to handle lean4 and lake versions LSpec CI #2: Commit 4ce246c pushed by BRonen
53s master
master
53s
test: add lspec testing framework LSpec CI #1: Commit 1085c79 pushed by BRonen
28s master
master
28s