Skip to content

Actions: AliveToolkit/alive2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
622 workflow runs
622 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix crash in alive-exec with void main functions Code Scanning - Action #2185: Commit 7652e29 pushed by nunoplopes
4m 33s master
master
4m 33s
fix crash in alive-exec with void main functions Build #1906: Commit 7652e29 pushed by nunoplopes
12m 45s master
master
12m 45s
fix: denormal flush of inputs is mandatory (#1350) Build #1905: Commit bcdd17f pushed by nunoplopes
15m 42s master
master
15m 42s
fix: denormal flush of inputs is mandatory (#1350) Code Scanning - Action #2184: Commit bcdd17f pushed by nunoplopes
4m 10s master
master
4m 10s
Bump github/codeql-action from 4.38.1 to 4.38.2 (#1363) Code Scanning - Action #2183: Commit ecab668 pushed by nunoplopes
4m 39s master
master
4m 39s
Bump github/codeql-action from 4.38.1 to 4.38.2 (#1363) Build #1904: Commit ecab668 pushed by nunoplopes
13m 55s master
master
13m 55s
Explain --smt-to= for alive-tv (#1364) Build #1903: Commit 2852749 pushed by nunoplopes
12m 32s master
master
12m 32s
Explain --smt-to= for alive-tv (#1364) Code Scanning - Action #2182: Commit 2852749 pushed by nunoplopes
4m 33s master
master
4m 33s
Explain --smt-to= for alive-tv Code Scanning - Action #2181: Pull request #1364 opened by fmayer
3m 32s fmayer:patch-3
fmayer:patch-3
3m 32s
Explain --smt-to= for alive-tv Build #1902: Pull request #1364 opened by fmayer
13m 40s fmayer:patch-3
fmayer:patch-3
13m 40s
fix: denormal flush of inputs Code Scanning - Action #2180: Pull request #1350 synchronize by regehr
2m 40s regehr:regehr/denorm-flush
regehr:regehr/denorm-flush
2m 40s
fix: denormal flush of inputs Build #1901: Pull request #1350 synchronize by regehr
23m 20s regehr:regehr/denorm-flush
regehr:regehr/denorm-flush
23m 20s
fix: denormal flush of inputs Build #1900: Pull request #1350 reopened by regehr
16m 32s regehr:regehr/denorm-flush
regehr:regehr/denorm-flush
16m 32s
fix: denormal flush of inputs Code Scanning - Action #2179: Pull request #1350 reopened by regehr
2m 32s regehr:regehr/denorm-flush
regehr:regehr/denorm-flush
2m 32s
Bump github/codeql-action from 4.38.1 to 4.38.2 Code Scanning - Action #2178: Pull request #1363 opened by dependabot Bot
4m 2s dependabot/github_actions/github/codeql-action-4.38.2
dependabot/github_actions/github/codeql-action-4.38.2
4m 2s
Bump github/codeql-action from 4.38.1 to 4.38.2 Build #1899: Pull request #1363 opened by dependabot Bot
23m 17s dependabot/github_actions/github/codeql-action-4.38.2
dependabot/github_actions/github/codeql-action-4.38.2
23m 17s
Bump github/codeql-action from 4.38.1 to 4.38.2 Code Scanning - Action #2177: Commit c2e82f4 pushed by dependabot Bot
3m 48s dependabot/github_actions/github/codeql-action-4.38.2
dependabot/github_actions/github/codeql-action-4.38.2
3m 48s
Bump github/codeql-action from 4.38.1 to 4.38.2 Build #1898: Commit c2e82f4 pushed by dependabot Bot
16m 4s dependabot/github_actions/github/codeql-action-4.38.2
dependabot/github_actions/github/codeql-action-4.38.2
16m 4s
github_actions in /. - Update #1595456139 Dependabot Updates #100: by dependabot Bot
1m 31s master
master
1m 31s
Code Scanning - Action Code Scanning - Action #2176: Scheduled
4m 31s master
master
4m 31s
feat: support for multiple vscales per run Build #1897: Pull request #1362 opened by regehr
12m 38s regehr:regehr/vscale3
regehr:regehr/vscale3
12m 38s
feat: support for multiple vscales per run Code Scanning - Action #2175: Pull request #1362 opened by regehr
2m 39s regehr:regehr/vscale3
regehr:regehr/vscale3
2m 39s
fix: has_single_bit chang for latest clang (#1361) Build #1896: Commit d1533ab pushed by nunoplopes
25m 20s master
master
25m 20s
fix: has_single_bit chang for latest clang (#1361) Code Scanning - Action #2174: Commit d1533ab pushed by nunoplopes
4m 36s master
master
4m 36s
fix: has_single_bit chang for latest clang Code Scanning - Action #2173: Pull request #1361 opened by regehr
3m 48s regehr:regehr/single-bit-fix
regehr:regehr/single-bit-fix
3m 48s