Skip to content

Actions: 40ants/linter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
252 workflow runs
252 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

LINTER LINTER #21: Scheduled
December 18, 2023 10:08 1m 0s master
master
December 18, 2023 10:08 1m 0s
CI CI #20: Scheduled
December 11, 2023 10:21 32s master
master
December 11, 2023 10:21 32s
DOCS DOCS #20: Scheduled
December 11, 2023 10:16 2m 34s master
master
December 11, 2023 10:16 2m 34s
LINTER LINTER #20: Scheduled
December 11, 2023 10:08 1m 11s master
master
December 11, 2023 10:08 1m 11s
CI CI #19: Scheduled
December 4, 2023 10:21 1m 22s master
master
December 4, 2023 10:21 1m 22s
DOCS DOCS #19: Scheduled
December 4, 2023 10:17 2m 57s master
master
December 4, 2023 10:17 2m 57s
LINTER LINTER #19: Scheduled
December 4, 2023 10:08 1m 12s master
master
December 4, 2023 10:08 1m 12s
pages build and deployment pages-build-deployment #4: by github-pages bot
December 1, 2023 22:25 29s gh-pages
gh-pages
December 1, 2023 22:25 29s
Merge pull request #3 from 40ants/fix-unused-import-when-symbol-is-ba… LINTER #18: Commit d71111a pushed by svetlyak40wt
December 1, 2023 22:20 3m 18s master
master
December 1, 2023 22:20 3m 18s
Merge pull request #3 from 40ants/fix-unused-import-when-symbol-is-ba… CI #18: Commit d71111a pushed by svetlyak40wt
December 1, 2023 22:20 3m 20s master
master
December 1, 2023 22:20 3m 20s
Merge pull request #3 from 40ants/fix-unused-import-when-symbol-is-ba… DOCS #18: Commit d71111a pushed by svetlyak40wt
December 1, 2023 22:20 4m 51s master
master
December 1, 2023 22:20 4m 51s
Fixed issue when package was mentioned as unused whereas it was used inside a backquoted part of the macro. LINTER #17: Pull request #3 opened by svetlyak40wt
December 1, 2023 22:15 4m 36s fix-unused-import-when-symbol-is-backquoted
fix-unused-import-when-symbol-is-backquoted
December 1, 2023 22:15 4m 36s
Fixed issue when package was mentioned as unused whereas it was used inside a backquoted part of the macro. DOCS #17: Pull request #3 opened by svetlyak40wt
December 1, 2023 22:15 4m 49s fix-unused-import-when-symbol-is-backquoted
fix-unused-import-when-symbol-is-backquoted
December 1, 2023 22:15 4m 49s
Fixed issue when package was mentioned as unused whereas it was used inside a backquoted part of the macro. CI #17: Pull request #3 opened by svetlyak40wt
December 1, 2023 22:15 3m 23s fix-unused-import-when-symbol-is-backquoted
fix-unused-import-when-symbol-is-backquoted
December 1, 2023 22:15 3m 23s
CI CI #16: Scheduled
November 27, 2023 10:21 1m 13s master
master
November 27, 2023 10:21 1m 13s
DOCS DOCS #16: Scheduled
November 27, 2023 10:16 2m 25s master
master
November 27, 2023 10:16 2m 25s
LINTER LINTER #16: Scheduled
November 27, 2023 10:07 54s master
master
November 27, 2023 10:07 54s
CI CI #15: Scheduled
November 20, 2023 10:21 1m 13s master
master
November 20, 2023 10:21 1m 13s
DOCS DOCS #15: Scheduled
November 20, 2023 10:16 2m 25s master
master
November 20, 2023 10:16 2m 25s
LINTER LINTER #15: Scheduled
November 20, 2023 10:08 1m 10s master
master
November 20, 2023 10:08 1m 10s
pages build and deployment pages-build-deployment #3: by github-pages bot
November 19, 2023 15:15 33s gh-pages
gh-pages
November 19, 2023 15:15 33s
Merge pull request #2 from 40ants/warn-on-missing-packages CI #14: Commit 70c0ce2 pushed by svetlyak40wt
November 19, 2023 15:11 3m 15s master
master
November 19, 2023 15:11 3m 15s
Merge pull request #2 from 40ants/warn-on-missing-packages DOCS #14: Commit 70c0ce2 pushed by svetlyak40wt
November 19, 2023 15:11 4m 39s master
master
November 19, 2023 15:11 4m 39s
Merge pull request #2 from 40ants/warn-on-missing-packages LINTER #14: Commit 70c0ce2 pushed by svetlyak40wt
November 19, 2023 15:11 3m 16s master
master
November 19, 2023 15:11 3m 16s
Now imports linter can warn on packages mentioned in defpackage but missing. DOCS #13: Pull request #2 synchronize by svetlyak40wt
November 19, 2023 14:22 4m 38s warn-on-missing-packages
warn-on-missing-packages
November 19, 2023 14:22 4m 38s
ProTip! You can narrow down the results and go further in time using created:<2023-11-19 or the other filters available.