{"id":13692638,"url":"https://github.com/amutake/docker-satysfi","last_synced_at":"2025-03-20T23:32:08.127Z","repository":{"id":42070096,"uuid":"171110223","full_name":"amutake/docker-satysfi","owner":"amutake","description":"Docker images for SATySFi and Satyrographos","archived":false,"fork":false,"pushed_at":"2024-06-17T12:50:03.000Z","size":340,"stargazers_count":26,"open_issues_count":8,"forks_count":5,"subscribers_count":4,"default_branch":"main","last_synced_at":"2024-10-21T22:15:37.280Z","etag":null,"topics":["docker-image","satyrographos","satysfi"],"latest_commit_sha":null,"homepage":"https://hub.docker.com/r/amutake/satysfi/","language":"Dockerfile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/amutake.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null}},"created_at":"2019-02-17T10:45:20.000Z","updated_at":"2024-06-05T01:44:58.000Z","dependencies_parsed_at":"2024-01-18T05:27:15.425Z","dependency_job_id":"174dca25-f47a-423d-aaf9-c6a8f0b9d72b","html_url":"https://github.com/amutake/docker-satysfi","commit_stats":null,"previous_names":[],"tags_count":26,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/amutake%2Fdocker-satysfi","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/amutake%2Fdocker-satysfi/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/amutake%2Fdocker-satysfi/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/amutake%2Fdocker-satysfi/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/amutake","download_url":"https://codeload.github.com/amutake/docker-satysfi/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":221678234,"owners_count":16862391,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["docker-image","satyrographos","satysfi"],"created_at":"2024-08-02T17:01:00.424Z","updated_at":"2024-10-28T08:53:03.891Z","avatar_url":"https://github.com/amutake.png","language":"Dockerfile","readme":"# docker-satysfi\n\n[![Build Status](https://github.com/amutake/docker-satysfi/workflows/build/badge.svg)](https://github.com/amutake/docker-satysfi/actions?query=workflow%3Abuild)\n[![Nightly Build Status](https://github.com/amutake/docker-satysfi/workflows/nightly/badge.svg)](https://github.com/amutake/docker-satysfi/actions?query=workflow%3Anightly)\n\nThis repository provides docker images for [SATySFi](https://github.com/gfngfn/SATySFi) and [Satyrographos](https://github.com/na4zagin3/satyrographos).\n\nImages are available at [Docker Hub - amutake/satysfi](https://hub.docker.com/r/amutake/satysfi/).\n\n| tag                             | size                                                                                                           | satysfi version | satyrographos version | opam          | supported arch   | note                         |\n| ------------------------------- | -------------------------------------------------------------------------------------------------------------- | --------------- | --------------------- | ------------- | ---------------- | ---------------------------- |\n| `latest`, `0.0.11`              | ![badge](https://img.shields.io/docker/image-size/amutake/satysfi/latest?color=black\u0026label=%20\u0026logo=docker)    | `0.0.11`        | `0.0.2.13`            | o             | `amd64`, `arm64` |                              |\n| `slim`, `0.0.11-slim`           | ![badge](https://img.shields.io/docker/image-size/amutake/satysfi/slim?color=black\u0026label=%20\u0026logo=docker)      | `0.0.11`        | `0.0.2.13`            | x             | `amd64`, `arm64` |                              |\n| `opam-slim`, `0.0.11-opam-slim` | ![badge](https://img.shields.io/docker/image-size/amutake/satysfi/opam-slim?color=black\u0026label=%20\u0026logo=docker) | `0.0.11`        | `0.0.2.13`            | o (minimized) | `amd64`, `arm64` | **EXPERIMENTAL**             |\n| `nightly`                       | ![badge](https://img.shields.io/docker/image-size/amutake/satysfi/nightly?color=black\u0026label=%20\u0026logo=docker)   | master branch   | master branch         | x             | `amd64`          | built at 00:00 UTC every day |\n\n## How to use\n\n```console\n$ docker run --rm -v $(pwd):/satysfi amutake/satysfi:${TAG} satysfi demo.saty\n```\n\nlatest and opam-slim tag:\n\n```console\n$ docker run --rm -v $(pwd):/satysfi amutake/satysfi:${TAG} \\\n    sh -c \"opam update \u0026\u0026 opam install satysfi-base \u0026\u0026 satyrographos install \u0026\u0026 satysfi demo.saty\"\n```\n\nnightly tag:\n\n```console\n$ docker run --rm amutake/satysfi:nightly cat /satysfi-revision\nv0.0.3-397-g6137f5c\n$ docker run --rm amutake/satysfi:nightly cat /satyrographos-revision\nv0.0.1.6-4-geaf14c8\n$ docker run --rm amutake/satysfi:nightly cat /build-date\n2019-04-19T00:00:00+00:00\n```\n","funding_links":[],"categories":["Uncategorized"],"sub_categories":["Uncategorized"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Famutake%2Fdocker-satysfi","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Famutake%2Fdocker-satysfi","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Famutake%2Fdocker-satysfi/lists"}