Skip to content

Actions: BRonen/sqlite-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update Lean to v4.28.0 LSpec CI #33: Pull request #7 synchronize by i-love-lean
41s i-love-lean:master
i-love-lean:master
41s
Update Lean to v4.28.0 LSpec CI #32: Pull request #7 opened by i-love-lean
49s i-love-lean:master
i-love-lean:master
49s
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 i-love-lean
42s i-love-lean:master
i-love-lean:master
42s
Update Lean and SQLite LSpec CI #29: Pull request #6 opened by i-love-lean
44s i-love-lean:master
i-love-lean: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 i-love-lean
46s i-love-lean:master
i-love-lean:master
46s
Fix linker error on Windows, improve tests LSpec CI #21: Pull request #3 opened by i-love-lean
41s i-love-lean:master
i-love-lean: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