scip-clojure

SCIP Index / index (push) Failing after 39s

Details

Fix CI: install Clojure manually instead of using GitHub action

The DeLaGuardo/setup-clojure action requires GitHub credentials
which aren't available in Gitea Actions.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

2026-02-03 17:43:05 -05:00

.github/workflows

Fix CI: install Clojure manually instead of using GitHub action

2026-02-03 17:43:05 -05:00

java-src/scip

Initial commit: SCIP indexer for Clojure

2026-02-03 16:49:10 -05:00

proto

Initial commit: SCIP indexer for Clojure

2026-02-03 16:49:10 -05:00

src/scip_clojure

Improve local definition docs + add CI workflow

2026-02-03 17:41:14 -05:00

.gitignore

Add index.scip to gitignore

2026-02-03 16:59:48 -05:00

build.clj

Initial commit: SCIP indexer for Clojure

2026-02-03 16:49:10 -05:00

deps.edn

Improve local definition docs + add CI workflow

2026-02-03 17:41:14 -05:00