Insert indent to next tab stop · MiniZinc/minizinc-playground@a10deb7

Triggered via push October 22, 2024 09:11

cyderize

develop

Status Success

Total duration 1m 4s

Artifacts 2

gh-pages.yml

on: push

Matrix: build-for-deployment

Produced during runtime

Name	Size
playground-develop	356 KB
playground-main	362 KB