Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / eikendev / tamarin-prover-docker
A Docker image for the Tamarin prover
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/eikendev%2Ftamarin-prover-docker
Stars: 3
Forks: 1
Open Issues: 0
License: isc
Language: Dockerfile
Repo Size: 23.4 KB
Dependencies:
6
Created: about 4 years ago
Updated: 23 days ago
Last pushed: 23 days ago
Last synced: 23 days ago
Topics: docker, docker-image, dockerfile, podman, tamarin-prover
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/main.yml
actions
- actions/checkout v2 composite
- docker/build-push-action v2 composite
- docker/login-action v1 composite
- docker/metadata-action v3 composite
Dockerfile
docker