Skip to content

Commit 33b5d1f

Browse files
committed
REMOVE ME: rm gh-pages and opam workflows
1 parent 77d7365 commit 33b5d1f

File tree

2 files changed

+0
-94
lines changed

2 files changed

+0
-94
lines changed

.github/workflows/gh-pages.yml

Lines changed: 0 additions & 42 deletions
This file was deleted.

.github/workflows/opam.yml

Lines changed: 0 additions & 52 deletions
This file was deleted.

0 commit comments

Comments
 (0)