Skip to content
Update index page

Update #155

Sign in to view logs

Update

Update #155

Workflow file for this run

.github/workflows/[A] update documentation.yml at 0bae979
# This file is part of ToolFactory JVM driver.
#
# Hosted at: https://github.com/toolfactory/jvm-driver
#
# - -
#
# The MIT License (MIT)
#
# Copyright (c) 2021-2023 Luke Hutchison, Roberto Gentili
#
# Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
# documentation files (the "Software"), to deal in the Software without restriction, including without
# limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
# the Software, and to permit persons to whom the Software is furnished to do so, subject to the following
# conditions:
#
# The above copyright notice and this permission notice shall be included in all copies or substantial
# portions of the Software.
#
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT
# LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO
# EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN
# AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE
# OR OTHER DEALINGS IN THE SOFTWARE.
#
name: Update index page
on:
push:
branches:
- main
paths:
- "**README.md"
jobs:
update-index-page:
runs-on: ubuntu-latest
name: Update index page
steps:
- uses: actions/checkout@master
- name: Overwrite the index.md
run: |
git config user.name "${{ github.event.head_commit.committer.name }}"
git config user.email "${{ github.event.head_commit.committer.email }}"
git pull origin ${{github.ref}}
cp "./README.md" "./docs/index.md"
git add .
git commit -am "Update" --allow-empty
git push