Skip to content
This repository has been archived by the owner on May 23, 2024. It is now read-only.

Actions: city41/AMMiSTer

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint-and-typecheck.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

seems to work Lint #223: Commit 41aabef pushed by city41
January 25, 2024 15:46 1m 41s newArcadeRomDb
newArcadeRomDb
January 25, 2024 15:46 1m 41s
Lint Lint #222: by city41
October 11, 2023 13:37 2m 52s v0.33.2
v0.33.2
October 11, 2023 13:37 2m 52s
v0.33.2 Lint #221: Commit 8754807 pushed by city41
October 11, 2023 13:37 2m 9s main
main
October 11, 2023 13:37 2m 9s
Support for destPathsToIgnore, fixes #124 Lint #220: Commit 9ae9736 pushed by city41
October 11, 2023 13:35 2m 32s main
main
October 11, 2023 13:35 2m 32s
Don't delete dest files if they are found in destPathsToIgnore Lint #219: Pull request #127 synchronize by city41
October 11, 2023 13:22 2m 39s dontDeleteFiles
dontDeleteFiles
October 11, 2023 13:22 2m 39s
Support for destPathsToIgnore, fixes #124 Lint #218: Commit a04b7ac pushed by city41
October 11, 2023 13:22 2m 10s dontDeleteFiles
dontDeleteFiles
October 11, 2023 13:22 2m 10s
Don't delete dest files if they are found in destPathsToIgnore Lint #217: Pull request #127 synchronize by city41
October 11, 2023 13:18 2m 18s dontDeleteFiles
dontDeleteFiles
October 11, 2023 13:18 2m 18s
ok windows is good, removing logs Lint #216: Commit 41b7ffe pushed by city41
October 11, 2023 13:18 2m 11s dontDeleteFiles
dontDeleteFiles
October 11, 2023 13:18 2m 11s
Don't delete dest files if they are found in destPathsToIgnore Lint #215: Pull request #127 synchronize by city41
October 11, 2023 13:09 5m 59s dontDeleteFiles
dontDeleteFiles
October 11, 2023 13:09 5m 59s
try native path Lint #214: Commit 2b0975f pushed by city41
October 11, 2023 13:09 5m 40s dontDeleteFiles
dontDeleteFiles
October 11, 2023 13:09 5m 40s
more logging to debug windows int failure Lint #213: Commit e5d6846 pushed by city41
October 11, 2023 12:51 7m 32s dontDeleteFiles
dontDeleteFiles
October 11, 2023 12:51 7m 32s
Don't delete dest files if they are found in destPathsToIgnore Lint #212: Pull request #127 synchronize by city41
October 11, 2023 12:47 8m 39s dontDeleteFiles
dontDeleteFiles
October 11, 2023 12:47 8m 39s
more logging to debug windows int failure Lint #211: Commit c18aea5 pushed by city41
October 11, 2023 12:38 12m 27s dontDeleteFiles
dontDeleteFiles
October 11, 2023 12:38 12m 27s
Don't delete dest files if they are found in destPathsToIgnore Lint #210: Pull request #127 synchronize by city41
October 11, 2023 12:34 9m 10s dontDeleteFiles
dontDeleteFiles
October 11, 2023 12:34 9m 10s
Don't delete dest files if they are found in destPathsToIgnore Lint #209: Pull request #127 synchronize by city41
October 11, 2023 11:58 2m 35s dontDeleteFiles
dontDeleteFiles
October 11, 2023 11:58 2m 35s
integration test for destPathsToIgnore Lint #208: Commit 992645c pushed by city41
October 11, 2023 11:58 1m 16s dontDeleteFiles
dontDeleteFiles
October 11, 2023 11:58 1m 16s
Don't delete dest files if they are found in destPathsToIgnore Lint #207: Pull request #127 synchronize by city41
October 11, 2023 11:40 2m 8s dontDeleteFiles
dontDeleteFiles
October 11, 2023 11:40 2m 8s
fix existing integration tests Lint #206: Commit b98da39 pushed by city41
October 11, 2023 11:40 2m 49s dontDeleteFiles
dontDeleteFiles
October 11, 2023 11:40 2m 49s
Don't delete dest files if they are found in destPathsToIgnore Lint #205: Pull request #127 synchronize by city41
October 10, 2023 14:19 2m 31s dontDeleteFiles
dontDeleteFiles
October 10, 2023 14:19 2m 31s
fix type issue Lint #204: Commit 63bab23 pushed by city41
October 10, 2023 14:19 2m 0s dontDeleteFiles
dontDeleteFiles
October 10, 2023 14:19 2m 0s
Don't delete dest files if they are found in destPathsToIgnore Lint #203: Pull request #127 opened by city41
October 10, 2023 14:17 2m 49s dontDeleteFiles
dontDeleteFiles
October 10, 2023 14:17 2m 49s
implemented, needs tests and testing Lint #202: Commit efaeefc pushed by city41
October 10, 2023 14:16 2m 10s dontDeleteFiles
dontDeleteFiles
October 10, 2023 14:16 2m 10s
Fix searching for rbf files, fixes #125 Lint #201: Commit 82e43c2 pushed by city41
October 10, 2023 13:36 2m 39s main
main
October 10, 2023 13:36 2m 39s
Fix searching for rbf files, fixes #125 Lint #200: Pull request #126 opened by city41
October 10, 2023 13:20 2m 4s dkbug
dkbug
October 10, 2023 13:20 2m 4s
Fix searching for rbf files, fixes #125 Lint #199: Commit ddce4ae pushed by city41
October 10, 2023 13:20 1m 58s dkbug
dkbug
October 10, 2023 13:20 1m 58s