Searched +full:delete +full:- +full:branch (Results 1 – 6 of 6) sorted by relevance
1 name: "Auto-Fix code"5 - master8 group: ${{ github.workflow }}-${{ github.ref }}9 cancel-in-progress: true14 runs-on: ubuntu-latest16 - name: Checkout19 fetch-depth: 021 - name: Setup PHP22 uses: shivammathur/setup-php@v224 php-version: '8.2'[all …]
2 # It compares the current master with the data/deleted.files file and cleans the file from any re-i…3 # It compares the current master with the stable branch and adds all deleted files to the data/dele…4 # unless they are already listed there or are excluded from the release archives (export-ignore in …6 # Finally, the list of newly removed entries receives a header "# removed on $(date -I)" with the c…12 - master15 group: ${{ github.workflow }}-${{ github.ref }}16 cancel-in-progress: true21 runs-on: ubuntu-latest23 - name: Checkout26 fetch-depth: 0[all …]
4 # When the pull request is merged, the release-build workflow will be triggered automatically16 - stable17 - hotfix18 - rc23 description: 'The version date YYYY-MM-DD, empty for today'29 runs-on: ubuntu-latest31 - name: Fail if branch is not master37 - name: Checkout40 fetch-depth: 042 - name: Set git identity[all …]
2 # It is triggered by pushing to the stable branch, either manually or by merging a PR created by the3 # release-preparation workflow9 - stable15 runs-on: ubuntu-latest17 - name: Checkout20 - name: Prepare Environment24 - name: Check if a tag already exists26 if git rev-parse "release-${{ env.current_version }}" >/dev/null 2>&1; then31 - name: Create tag32 uses: actions/github-script@v6[all …]
4 * --------13 * -------15 * - Added loads of keywords and commands of GNU/Linux16 * - Added support for parameters starting with a dash18 * - Added description of extra language features (SF#1970248)20 * - PARSER_CONTROL patch using SF #1788408 (BenBE)22 * - Added a lot of keywords (BenBE / Jan G)24 * - Added support for multiple object splitters26 * - Added support for URLs28 * - First Release[all …]
31 $this->cache =& $cache_revinfo;32 if (!isset($this->cache[$id])) {33 $this->cache[$id] = [];36 $this->id = $id;37 $this->setChunkSize($chunk_size);56 * Returns path to the global changelog file (the cross-page recent-changes feed)70 return $rev == $this->currentRevision();81 return $rev === $this->lastRevision();97 if (!isset($this->currentRevision)) {99 $this->getCurrentRevisionInfo();[all …]