Update web site

add CriteriaSelect to fix mistake in design of union/intersect for cr… #3

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push September 13, 2023 16:56

lukasj

master

Status Success

Total duration 2m 53s

Artifacts –

web.yml

on: push

Annotations

1 warning

github-pages can't satisfy your Gemfile's dependencies.