Skip to content

Actions: AliveToolkit/alive2

Actions

Code Scanning - Action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
662 workflow runs
662 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Scanning - Action Code Scanning - Action #1760: Scheduled
February 16, 2025 02:35 3m 54s master
master
February 16, 2025 02:35 3m 54s
bump minimum cmake version to avoid annoying warning (#1169) Code Scanning - Action #1759: Commit fe94db7 pushed by nunoplopes
February 12, 2025 09:01 5m 6s master
master
February 12, 2025 09:01 5m 6s
bump minimum cmake version to avoid annoying warning Code Scanning - Action #1758: Pull request #1169 opened by regehr
February 12, 2025 00:51 3m 17s regehr:bump-cmake
regehr:bump-cmake
February 12, 2025 00:51 3m 17s
test PR Code Scanning - Action #1757: Pull request #1168 synchronize by nunoplopes
February 9, 2025 10:35 3m 18s nunoplopes:master
nunoplopes:master
February 9, 2025 10:35 3m 18s
test PR Code Scanning - Action #1756: Pull request #1168 synchronize by nunoplopes
February 9, 2025 10:32 1m 30s nunoplopes:master
nunoplopes:master
February 9, 2025 10:32 1m 30s
test PR Code Scanning - Action #1755: Pull request #1168 opened by nunoplopes
February 9, 2025 10:30 3m 24s nunoplopes:master
nunoplopes:master
February 9, 2025 10:30 3m 24s
Code Scanning - Action Code Scanning - Action #1754: Scheduled
February 9, 2025 02:32 3m 52s master
master
February 9, 2025 02:32 3m 52s
Fix Code Scanning - Action #1753: Pull request #1167 opened by Hatsunespica
February 5, 2025 21:56 2m 44s Hatsunespica:fix
Hatsunespica:fix
February 5, 2025 21:56 2m 44s
CI: switch to clang 21 Code Scanning - Action #1752: Commit 3b610e4 pushed by nunoplopes
February 2, 2025 17:07 3m 52s master
master
February 2, 2025 17:07 3m 52s
llvm2alive: fix nocapture following @nikic's review Code Scanning - Action #1751: Commit 68f4afc pushed by nunoplopes
February 2, 2025 17:01 3m 59s master
master
February 2, 2025 17:01 3m 59s
Code Scanning - Action Code Scanning - Action #1750: Scheduled
February 2, 2025 02:30 3m 52s master
master
February 2, 2025 02:30 3m 52s
support captures(none) instead of nocapture (#1165) Code Scanning - Action #1749: Commit 9ff342f pushed by nunoplopes
January 31, 2025 08:45 6m 37s master
master
January 31, 2025 08:45 6m 37s
replace nocapture in tests (#1166) Code Scanning - Action #1748: Commit 65902e0 pushed by nunoplopes
January 31, 2025 08:41 4m 1s master
master
January 31, 2025 08:41 4m 1s
replace nocapture in tests Code Scanning - Action #1747: Pull request #1166 opened by regehr
January 31, 2025 02:12 3m 57s regehr:nocapture-captures
regehr:nocapture-captures
January 31, 2025 02:12 3m 57s
support captures(none) instead of nocapture Code Scanning - Action #1746: Pull request #1165 opened by regehr
January 30, 2025 23:54 3m 20s regehr:new_capture_none
regehr:new_capture_none
January 30, 2025 23:54 3m 20s
fix bug when producing axioms for non-local blocks after fn call Code Scanning - Action #1745: Commit 2623bec pushed by nunoplopes
January 30, 2025 22:40 4m 9s master
master
January 30, 2025 22:40 4m 9s
Make the -quiet flag skip counter-example printing (#1163) Code Scanning - Action #1744: Commit 2246767 pushed by nunoplopes
January 26, 2025 10:48 3m 56s master
master
January 26, 2025 10:48 3m 56s
Enhance translational validation pass quiet flag Code Scanning - Action #1743: Pull request #1163 opened by jmciver
January 26, 2025 05:20 3m 42s jmciver:development/jmciver/quiet-instance-reporting
jmciver:development/jmciver/quiet-instance-reporting
January 26, 2025 05:20 3m 42s
Code Scanning - Action Code Scanning - Action #1742: Scheduled
January 26, 2025 02:30 3m 48s master
master
January 26, 2025 02:30 3m 48s
Fix crash from optimized null pointer access (#1162) Code Scanning - Action #1741: Commit 0dcc0ba pushed by nunoplopes
January 24, 2025 21:17 4m 1s master
master
January 24, 2025 21:17 4m 1s
Fix crash from optimized null pointer access Code Scanning - Action #1740: Pull request #1162 opened by jmciver
January 24, 2025 20:38 4m 8s jmciver:development/jmciver/clang-segfault-fix
jmciver:development/jmciver/clang-segfault-fix
January 24, 2025 20:38 4m 8s
fix perf regression introduced with last Pointer class refactoring Code Scanning - Action #1739: Commit 8404196 pushed by nunoplopes
January 20, 2025 09:34 6m 4s v19.0
v19.0
January 20, 2025 09:34 6m 4s
Code Scanning - Action Code Scanning - Action #1738: Scheduled
January 19, 2025 02:32 3m 55s master
master
January 19, 2025 02:32 3m 55s
slience warning Code Scanning - Action #1737: Commit 02ec3af pushed by nunoplopes
January 17, 2025 18:22 4m 26s master
master
January 17, 2025 18:22 4m 26s
byval implies nocapture Code Scanning - Action #1736: Commit 5d61e1d pushed by nunoplopes
January 17, 2025 18:14 4m 33s master
master
January 17, 2025 18:14 4m 33s