Skip to content

Update github actions.#1649

Merged
jdumas merged 1 commit intomasterfrom
jdumas/actions
Nov 15, 2020
Merged

Update github actions.#1649
jdumas merged 1 commit intomasterfrom
jdumas/actions

Conversation

@jdumas
Copy link
Copy Markdown
Collaborator

@jdumas jdumas commented Nov 14, 2020

No description provided.

@jdumas jdumas force-pushed the jdumas/actions branch 9 times, most recently from 8bf09fd to 0b6aec6 Compare November 15, 2020 00:49
@jdumas jdumas merged commit 682e4b9 into master Nov 15, 2020
@jdumas jdumas deleted the jdumas/actions branch November 15, 2020 02:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant