Skip to content

Actions: github/codeql-coding-standards

Generate HTML documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,115 workflow runs
1,115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for deviations on next line and multiple lines
Generate HTML documentation #3390: Pull request #807 synchronize by lcartey
February 13, 2025 11:41 21s lcartey/extend-deviations
February 13, 2025 11:41 21s
Add support for deviations on next line and multiple lines
Generate HTML documentation #3389: Pull request #807 synchronize by lcartey
February 13, 2025 11:38 19s lcartey/extend-deviations
February 13, 2025 11:38 19s
Add support for deviations on next line and multiple lines
Generate HTML documentation #3388: Pull request #807 synchronize by lcartey
February 13, 2025 11:25 18s lcartey/extend-deviations
February 13, 2025 11:25 18s
Fix #718
Generate HTML documentation #3387: Pull request #859 opened by fjatWbyT
February 13, 2025 09:19 18s fjatWbyT:fix-issue-718
February 13, 2025 09:19 18s
Add support for deviations on next line and multiple lines
Generate HTML documentation #3386: Pull request #807 synchronize by lcartey
February 12, 2025 23:51 18s lcartey/extend-deviations
February 12, 2025 23:51 18s
2.19.4 upgrade performance improvements
Generate HTML documentation #3385: Pull request #858 opened by lcartey
February 11, 2025 23:55 16s lcartey/2.19.4-perf-improvements
February 11, 2025 23:55 16s
A5-1-9: Improve performance, address duplication
Generate HTML documentation #3384: Pull request #857 opened by lcartey
February 11, 2025 00:03 18s lcartey/lambda-equivalence-performance
February 11, 2025 00:03 18s
Release v2.42.0
Generate HTML documentation #3383: Pull request #855 opened by codeql-coding-standards-automation bot
February 10, 2025 15:13 24s feature/update-user-manual-for-2.42.0
February 10, 2025 15:13 24s
Merge pull request #853 from github/lcartey/make-a3-1-5-audit
Generate HTML documentation #3382: Commit a2ffd4c pushed by github-merge-queue bot
February 10, 2025 00:08 15s main
February 10, 2025 00:08 15s
Generate HTML documentation
Generate HTML documentation #3381: Merge group checks requested
February 9, 2025 22:44 21s
February 9, 2025 22:44 21s
Merge pull request #850 from github/codeql/upgrade-to-2.19.4
Generate HTML documentation #3377: Commit 737305f pushed by github-merge-queue bot
February 9, 2025 03:11 15s main
February 9, 2025 03:11 15s
Generate HTML documentation
Generate HTML documentation #3376: Merge group checks requested
February 9, 2025 01:39 17s
February 9, 2025 01:39 17s
A3-1-5: Down grade to an "audit" query.
Generate HTML documentation #3375: Pull request #853 synchronize by lcartey
February 8, 2025 23:08 25s lcartey/make-a3-1-5-audit
February 8, 2025 23:08 25s
A3-1-5: Down grade to an "audit" query.
Generate HTML documentation #3374: Pull request #853 synchronize by lcartey
February 8, 2025 23:03 15s lcartey/make-a3-1-5-audit
February 8, 2025 23:03 15s
A3-1-5: Down grade to an "audit" query.
Generate HTML documentation #3366: Pull request #853 opened by lcartey
February 6, 2025 16:41 21s lcartey/make-a3-1-5-audit
February 6, 2025 16:41 21s
M5-3-1: Exclude unknown types
Generate HTML documentation #3365: Pull request #852 opened by lcartey
February 6, 2025 10:19 22s lcartey/m5-3-1-unevaluated-uninstantiated
February 6, 2025 10:19 22s
ProTip! You can narrow down the results and go further in time using created:<2025-02-06 or the other filters available.