Skip to content

Main - #3

Merged
masinter merged 6 commits into
masterfrom
main
Feb 12, 2022
Merged

masinter merged 6 commits into
masterfrom
main

Conversation

@masinter

Copy link
Copy Markdown
Member

Changed 'main' to 'master'

masinter and others added 6 commits January 16, 2022 22:34
…/xxx workflows. Add three actions for 1) generating a release-tag, 2) setting a sentry for a build, 3) checking a sentry for a build.
…eeded because reuseable workflows take on the identity of their calling workflow - messing up the called workflow sentries if senrties are per-workflow.
Add actions directory to keep github actions for use in all Interlisp…
Add exit 0 to check-sentry-action to prevent non-functional error reports
@masinter
masinter merged commit 914b1d7 into master Feb 12, 2022
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.

2 participants