Christian Clauss dad789d903

Get rid of the Union (#6246) ...

* Get rid of the Union

* updating DIRECTORY.md

* Get rid of the Union

* Remove the redundant pre-commit runs.

Co-authored-by: github-actions <${GITHUB_ACTOR}@users.noreply.github.com>

2022-07-11 13:11:17 +02:00

..

build.yml

Upgrade GitHub Actions (#6236)

2022-07-07 05:25:25 +02:00

directory_writer.yml

Upgrade GitHub Actions (#6236)

2022-07-07 05:25:25 +02:00

pre-commit.yml

Get rid of the Union (#6246)

2022-07-11 13:11:17 +02:00

project_euler.yml

Upgrade GitHub Actions (#6236)

2022-07-07 05:25:25 +02:00