Skip to content

Commit

Permalink
Publish book to mutants.rs on push to main (#390)
Browse files Browse the repository at this point in the history
  • Loading branch information
sourcefrog authored Jul 31, 2024
2 parents 989e402 + 23b46ec commit 608ddce
Showing 1 changed file with 3 additions and 5 deletions.
8 changes: 3 additions & 5 deletions .github/workflows/release-book.yml
Original file line number Diff line number Diff line change
@@ -1,11 +1,9 @@
# Publish the book to https://mutants.rs/ when a new release is created.
name: Release book
on:
release:
types:
- published
- released
workflow_dispatch:
push:
branches:
- main

# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
Expand Down

0 comments on commit 608ddce

Please sign in to comment.