Skip to content

Actions: AliveToolkit/alive2

Actions

Code Scanning - Action

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
264 workflow runs
264 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Scanning - Action Code Scanning - Action #2038: Scheduled
3m 53s master
master
3m 53s
Patched #1242 Code Scanning - Action #2037: Pull request #1293 synchronize by Yohello1
Action required Yohello1:master
Yohello1:master
Action required
Patched #1242 Code Scanning - Action #2036: Pull request #1293 synchronize by Yohello1
Action required Yohello1:master
Yohello1:master
Action required
Code Scanning - Action Code Scanning - Action #2035: Scheduled
3m 57s master
master
3m 57s
Code Scanning - Action Code Scanning - Action #2034: Scheduled
4m 9s master
master
4m 9s
match upstream changes in how branchinsts work (#1298) Code Scanning - Action #2033: Commit 28b9f9c pushed by nunoplopes
4m 17s master
master
4m 17s
match upstream changes in how branchinsts work Code Scanning - Action #2032: Pull request #1298 opened by regehr
3m 16s regehr:branchinst-fix
regehr:branchinst-fix
3m 16s
Patched #1242 Code Scanning - Action #2031: Pull request #1293 synchronize by nunoplopes
Action required Yohello1:master
Yohello1:master
Action required
print floats more accurately Code Scanning - Action #2030: Pull request #1297 opened by regehr
3m 32s regehr:print-floats-accurately
regehr:print-floats-accurately
3m 32s
possible fix for byval issue Code Scanning - Action #2029: Pull request #1296 opened by regehr
3m 24s regehr:byval-fix
regehr:byval-fix
3m 24s
Code Scanning - Action Code Scanning - Action #2028: Scheduled
3m 56s master
master
3m 56s
Add support for scalable vectors Code Scanning - Action #2027: Pull request #1247 synchronize by zhengyang92
3m 58s zhengyang92:sve
zhengyang92:sve
3m 58s
Add support for scalable vectors Code Scanning - Action #2026: Pull request #1247 synchronize by zhengyang92
3m 54s zhengyang92:sve
zhengyang92:sve
3m 54s
Extend state representation to track errno across control-flow Code Scanning - Action #2025: Pull request #1284 synchronize by antoniofrighetto
3m 41s antoniofrighetto:feature/handle-errno-for-malloc
antoniofrighetto:feature/handle-errno-for-malloc
3m 41s
Code Scanning - Action Code Scanning - Action #2024: Scheduled
3m 48s master
master
3m 48s
Code Scanning - Action Code Scanning - Action #2022: Scheduled
3m 48s master
master
3m 48s
fix #1290 (#1291) Code Scanning - Action #2021: Commit 4b336d3 pushed by nunoplopes
3m 51s master
master
3m 51s
fix alive2 issue 1290 Code Scanning - Action #2020: Pull request #1291 opened by regehr
3m 55s regehr:issue-1290-fix
regehr:issue-1290-fix
3m 55s
Code Scanning - Action Code Scanning - Action #2019: Scheduled
15s master
master
15s
Code Scanning - Action Code Scanning - Action #2018: Scheduled
4m 0s master
master
4m 0s
grep text Code Scanning - Action #2017: Commit 769b232 pushed by nunoplopes
3m 58s master
master
3m 58s
change semantics of nsz so it only makes the input sign non-determini… Code Scanning - Action #2016: Commit 2cb1034 pushed by nunoplopes
3m 52s master
master
3m 52s
Code Scanning - Action Code Scanning - Action #2015: Scheduled
3m 47s master
master
3m 47s
copy the PtrCmpMode when copying an icmp (#1288) Code Scanning - Action #2014: Commit f693d47 pushed by nunoplopes
3m 54s master
master
3m 54s
copy the PtrCmpMode when copying an icmp Code Scanning - Action #2013: Pull request #1288 opened by regehr
3m 9s regehr:icmp-dup-fix
regehr:icmp-dup-fix
3m 9s