Skip to content

Actions: metamath/lamp-guide

Actions

Lint Code Base

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linter.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clarify loading multiple sources Lint Code Base #514: Pull request #154 opened by david-a-wheeler
January 13, 2025 17:38 1m 32s clarify_multiple_sources
clarify_multiple_sources
January 13, 2025 17:38 1m 32s
Clarify loading multiple sources Lint Code Base #513: Commit cb25715 pushed by david-a-wheeler
January 13, 2025 17:37 1m 29s clarify_multiple_sources
clarify_multiple_sources
January 13, 2025 17:37 1m 29s
Fix second table of editor icon bar Lint Code Base #512: Pull request #153 opened by david-a-wheeler
November 5, 2024 20:36 1m 28s second-table
second-table
November 5, 2024 20:36 1m 28s
Fix second table of editor icon bar Lint Code Base #511: Commit 813c742 pushed by david-a-wheeler
November 5, 2024 20:35 1m 29s second-table
second-table
November 5, 2024 20:35 1m 29s
Fix icon formatting Lint Code Base #510: Commit c774ed9 pushed by david-a-wheeler
November 5, 2024 20:04 1m 27s fix-bookmark-icons
fix-bookmark-icons
November 5, 2024 20:04 1m 27s
Add some key version 25 capabilitles Lint Code Base #509: Pull request #152 synchronize by david-a-wheeler
November 4, 2024 20:14 1m 30s v25
v25
November 4, 2024 20:14 1m 30s
Fix BNF for search-pattern Lint Code Base #508: Commit 1c556f1 pushed by david-a-wheeler
November 4, 2024 20:13 1m 33s v25
v25
November 4, 2024 20:13 1m 33s
Add some key version 25 capabilitles Lint Code Base #507: Pull request #152 synchronize by david-a-wheeler
November 4, 2024 17:52 1m 37s v25
v25
November 4, 2024 17:52 1m 37s
Fix lint errors in markdown (try 2) Lint Code Base #506: Commit 5d84ac4 pushed by david-a-wheeler
November 4, 2024 17:52 1m 30s v25
v25
November 4, 2024 17:52 1m 30s
Add some key version 25 capabilitles Lint Code Base #505: Pull request #152 synchronize by david-a-wheeler
November 4, 2024 17:50 1m 39s v25
v25
November 4, 2024 17:50 1m 39s
Update actions/checkout@v4 Lint Code Base #504: Commit 8ed29e9 pushed by david-a-wheeler
November 4, 2024 17:49 1m 27s v25
v25
November 4, 2024 17:49 1m 27s
Add some key version 25 capabilitles Lint Code Base #503: Pull request #152 synchronize by david-a-wheeler
November 4, 2024 17:46 1m 37s v25
v25
November 4, 2024 17:46 1m 37s
Fix lint complaints Lint Code Base #502: Commit 110ac29 pushed by david-a-wheeler
November 4, 2024 17:46 1m 29s v25
v25
November 4, 2024 17:46 1m 29s
Add some key version 25 capabilitles Lint Code Base #501: Pull request #152 opened by david-a-wheeler
November 4, 2024 03:11 1m 38s v25
v25
November 4, 2024 03:11 1m 38s
Add some key version 25 capabilitles Lint Code Base #500: Commit c09e647 pushed by david-a-wheeler
November 4, 2024 03:10 1m 30s v25
v25
November 4, 2024 03:10 1m 30s
Copy version 22 docs to 22/ Lint Code Base #499: Pull request #151 opened by david-a-wheeler
November 4, 2024 02:19 1m 32s freeze_v22
freeze_v22
November 4, 2024 02:19 1m 32s
Copy version 22 docs to 22/ Lint Code Base #498: Commit 5542078 pushed by david-a-wheeler
November 4, 2024 02:19 1m 30s freeze_v22
freeze_v22
November 4, 2024 02:19 1m 30s
Fix typos reported by @expln Lint Code Base #497: Pull request #150 opened by david-a-wheeler
December 29, 2023 02:43 1m 40s typos-2023-12-28
typos-2023-12-28
December 29, 2023 02:43 1m 40s
Fix typos reported by @expln Lint Code Base #496: Commit f7efa1e pushed by david-a-wheeler
December 29, 2023 02:43 1m 32s typos-2023-12-28
typos-2023-12-28
December 29, 2023 02:43 1m 32s
Update proof instructions for version 22 Lint Code Base #495: Pull request #149 synchronize by david-a-wheeler
December 27, 2023 03:49 1m 39s update_interactions
update_interactions
December 27, 2023 03:49 1m 39s
Fix reccot JSON file Lint Code Base #494: Commit d9a0ff6 pushed by david-a-wheeler
December 27, 2023 03:49 1m 33s update_interactions
update_interactions
December 27, 2023 03:49 1m 33s
Update proof instructions for version 22 Lint Code Base #493: Pull request #149 synchronize by david-a-wheeler
December 27, 2023 03:45 1m 32s update_interactions
update_interactions
December 27, 2023 03:45 1m 32s
Fix proof of reccot Lint Code Base #492: Commit aa149de pushed by david-a-wheeler
December 27, 2023 03:45 1m 43s update_interactions
update_interactions
December 27, 2023 03:45 1m 43s
Fix proof of syl Lint Code Base #491: Commit 2623b97 pushed by david-a-wheeler
December 27, 2023 02:58 1m 43s update_interactions
update_interactions
December 27, 2023 02:58 1m 43s
Update proof instructions for version 22 Lint Code Base #490: Pull request #149 synchronize by david-a-wheeler
December 27, 2023 01:45 1m 32s update_interactions
update_interactions
December 27, 2023 01:45 1m 32s