Changeset 569754d in git for .github


Ignore:
Timestamp:
Nov 14, 2022, 10:54:58 AM (5 months ago)
Author:
Frédéric Chapoton <chapoton@…>
Branches:
(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')
Children:
4a4df3a51856131bd5ba1a1a2a154aac107f2a74
Parents:
4f8fd1dcefd53bad82a4eed1aebb9f8d83ff2577
Message:
fix typo
File:
1 edited

Legend:

Unmodified
Added
Removed

  • .github/workflows/lint.yml

    r4f8fd1d r569754d  
    11name: Lint
    22on:
    3   push: { branches: [ "spielweise" ] }
    4   pull_request: { branches: [ "spielweise" ] }
     3  push: { branches: [ "spielwiese" ] }
     4  pull_request: { branches: [ "spielwiese" ] }
    55
    66jobs:
Note: See TracChangeset for help on using the changeset viewer.