Skip to content

Actions: AbsInt/CompCert

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
311 workflow runs
311 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
Merge pull request #595 from AbsInt/x86_64-jmptbl Oldest #143: Commit ad4934a pushed by xavierleroy
5m 57s master
master
5m 57s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Oldest #142: Pull request #595 synchronize by xavierleroy
6m 32s x86_64-jmptbl
x86_64-jmptbl
6m 32s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Build #260: Pull request #595 synchronize by xavierleroy
10m 24s x86_64-jmptbl
x86_64-jmptbl
10m 24s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Latest #147: Pull request #595 synchronize by xavierleroy
8m 22s x86_64-jmptbl
x86_64-jmptbl
8m 22s
Changes updates for 3.18 Oldest #141: Commit 11aa59a pushed by xavierleroy
7m 21s master
master
7m 21s
Changes updates for 3.18 Latest #146: Commit 11aa59a pushed by xavierleroy
7m 3s master
master
7m 3s
Changes updates for 3.18 Build #259: Commit 11aa59a pushed by xavierleroy
10m 44s master
master
10m 44s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Build #258: Pull request #595 synchronize by xavierleroy
10m 7s x86_64-jmptbl
x86_64-jmptbl
10m 7s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Latest #145: Pull request #595 synchronize by xavierleroy
6m 50s x86_64-jmptbl
x86_64-jmptbl
6m 50s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Oldest #140: Pull request #595 synchronize by xavierleroy
6m 58s x86_64-jmptbl
x86_64-jmptbl
6m 58s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Latest #144: Pull request #595 synchronize by xavierleroy
7m 53s x86_64-jmptbl
x86_64-jmptbl
7m 53s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Build #257: Pull request #595 synchronize by xavierleroy
10m 19s x86_64-jmptbl
x86_64-jmptbl
10m 19s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Oldest #139: Pull request #595 synchronize by xavierleroy
8m 2s x86_64-jmptbl
x86_64-jmptbl
8m 2s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Latest #143: Pull request #595 opened by xavierleroy
6m 55s x86_64-jmptbl
x86_64-jmptbl
6m 55s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Oldest #138: Pull request #595 opened by xavierleroy
6m 49s x86_64-jmptbl
x86_64-jmptbl
6m 49s
x86-64 Pjmptbl: normalize the argument before indexing into the jump table Build #256: Pull request #595 opened by xavierleroy
10m 13s x86_64-jmptbl
x86_64-jmptbl
10m 13s
Register allocation: try aggressive coalescing first Latest #142: Pull request #594 opened by xavierleroy
8m 11s coalescing
coalescing
8m 11s
Register allocation: try aggressive coalescing first Build #255: Pull request #594 opened by xavierleroy
10m 24s coalescing
coalescing
10m 24s
Register allocation: try aggressive coalescing first Oldest #137: Pull request #594 opened by xavierleroy
8m 17s coalescing
coalescing
8m 17s
configure: add "rocq" synonyms for "coq" options Oldest #136: Commit 5032fe8 pushed by xavierleroy
6m 51s master
master
6m 51s
configure: add "rocq" synonyms for "coq" options Latest #141: Commit 5032fe8 pushed by xavierleroy
7m 9s master
master
7m 9s
configure: add "rocq" synonyms for "coq" options Build #254: Commit 5032fe8 pushed by xavierleroy
10m 5s master
master
10m 5s
CI golf: run latest and oldest on PRs; use latest Docker image … Latest #140: Commit e9cbaf6 pushed by xavierleroy
6m 43s master
master
6m 43s
CI golf: run latest and oldest on PRs; use latest Docker image … Oldest #135: Commit e9cbaf6 pushed by xavierleroy
7m 7s master
master
7m 7s
CI golf: run latest and oldest on PRs; use latest Docker image … Build #253: Commit e9cbaf6 pushed by xavierleroy
11m 30s master
master
11m 30s