Changeset 569754d in git


Ignore:
Timestamp:
Nov 14, 2022, 10:54:58 AM (19 months ago)
Author:
Frédéric Chapoton <chapoton@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b52fc4b2495505785981d640dcf7eb3e456778ef')
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.