Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

mps 0.1.0 #3

Merged
merged 12 commits into from
Dec 30, 2023
Merged

mps 0.1.0 #3

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
65f3c15
feat(file.rs): parse ENDATA tag
david-r-cox Dec 26, 2023
f76eff5
build(Cargo.*): add cfg-if, nom-tracable, nom-locate
david-r-cox Dec 27, 2023
2d43fc0
feat(*): add tracing support
david-r-cox Dec 27, 2023
d246ed0
style(*): mps::file::MPSParser to mps::Parser
david-r-cox Dec 27, 2023
09d5dce
build(flake.nix, deny.toml): add cargo-deny
david-r-cox Dec 27, 2023
aaa8bc0
docs(README.md): add shields
david-r-cox Dec 28, 2023
a47dd2e
docs(README.md): add About, Examples, Usage
david-r-cox Dec 29, 2023
23be205
docs(lib.rs): generate initial docs
david-r-cox Dec 30, 2023
c8cb5a0
fix(*.rs): apply clippy fixes
david-r-cox Dec 30, 2023
2d3a444
docs(lib.rs): update usage example
david-r-cox Dec 30, 2023
8f5cc00
build(*): mps to 0.1.0
david-r-cox Dec 27, 2023
da19bf0
ci(docker-publish-tagged.yml): add dockerhub action
david-r-cox Dec 30, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -74,6 +74,8 @@ jobs:
run: nix develop --command cargo fmt --all --check
- name: Run Clippy
run: nix develop --command cargo clippy --all-targets --all-features
- name: Run cargo-deny
run: nix develop --command cargo deny check
- name: Check flake
run: nix flake check
- name: Check nix shell
Expand Down
39 changes: 39 additions & 0 deletions .github/workflows/docker-publish-tagged.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
name: "DockerHub"

on:
push:
tags:
- "v?[0-9]+.[0-9]+.[0-9]+*"

jobs:
push_to_registry:
name: Push image to Docker Hub
runs-on: ubuntu-latest
steps:
- uses: DeterminateSystems/nix-installer-action@main
- uses: cachix/cachix-action@v12
with:
name: integrated-reasoning
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'

- name: Check out the repo
uses: actions/checkout@v4

- name: Log in to Docker Hub
uses: docker/login-action@f4ef78c080cd8ba55a85445d5b36e214a81df20a
with:
username: ${{ secrets.DOCKER_USERNAME }}
password: ${{ secrets.DOCKER_TOKEN }}

- name: Extract metadata (tags, labels) for Docker
id: meta
uses: docker/metadata-action@9ec57ed1fcdbf14dcef7dfbe97b2010124a938b7
with:
images: integratedreasoning/mps

- name: Build and push Docker image
run: |
nix build .#image.x86_64-linux
docker load -i ./result
docker image tag mps:latest integratedreasoning/mps:latest
docker push integratedreasoning/mps:latest
Loading