(2)
Docker Image for the EdFi_Ods database running under PostgreSQL
11m
1M+
1
GitHub Action that will create a new commit and push it to the repository
6d
1M+
PostgreSQL with the pgcrypto extension, for DSpace 7+
1d
1M+
6
GitHub Action that will create a pull request from the current branch
6d
1M+
Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project
2m
1M+
12
This is the collection of Docker images that are built by the Primes project CI.
7h
1M+
Apache OpenWhisk runtime for Node.js v10 Actions
5y
1M+