Publish Records on push

This commit is contained in:
Jay Jackson authored and GitHub committed 2021-05-01 17:53:27 -04:00
1 parent 703ef57726
commit 3ee0a6c1e5
1 file changed
+1
+1
View File
@@ -1,6 +1,7 @@
name: Publish records
on:
push:
workflow_dispatch:
name: 'Publish records'