Skip to content

Actions: AbsInt/CompCert

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
193 workflow runs
193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Latest Latest #63: Manually run by xavierleroy
1m 10s coq-9.0
coq-9.0
1m 10s
Support for Rocq/Coq 9.0 Build #114: Pull request #547 opened by xavierleroy
10m 19s coq-9.0
coq-9.0
10m 19s
Less aggressive CSE across calls to known runtime functions Oldest #62: Commit d1812c3 pushed by xavierleroy
5m 28s master
master
5m 28s
Less aggressive CSE across calls to known runtime functions Latest #62: Commit d1812c3 pushed by xavierleroy
5m 57s master
master
5m 57s
Less aggressive CSE across calls to known runtime functions Build #113: Commit d1812c3 pushed by xavierleroy
9m 49s master
master
9m 49s
Oldest Oldest #61: Manually run by xavierleroy
5m 12s builtin-optims
builtin-optims
5m 12s
Latest Latest #61: Manually run by xavierleroy
6m 7s builtin-optims
builtin-optims
6m 7s
Build Build #112: Manually run by xavierleroy
9m 51s builtin-optims
builtin-optims
9m 51s
More precise value analysis of != comparisons Oldest #60: Commit ccee155 pushed by xavierleroy
5m 10s master
master
5m 10s
More precise value analysis of != comparisons Build #111: Commit ccee155 pushed by xavierleroy
9m 47s master
master
9m 47s
More precise value analysis of != comparisons Latest #60: Commit ccee155 pushed by xavierleroy
5m 57s master
master
5m 57s
More precise neededness analysis of 64-bit integer operations Build #108: Commit 4f638e8 pushed by xavierleroy
9m 47s master
master
9m 47s
More precise neededness analysis of 64-bit integer operations Latest #59: Commit 4f638e8 pushed by xavierleroy
6m 1s master
master
6m 1s
More precise neededness analysis of 64-bit integer operations Oldest #59: Commit 4f638e8 pushed by xavierleroy
5m 22s master
master
5m 22s
Use OCaml warning names instead of warning numbers Latest #58: Commit 3da76f5 pushed by xavierleroy
5m 59s master
master
5m 59s
Use OCaml warning names instead of warning numbers Build #107: Commit 3da76f5 pushed by xavierleroy
10m 4s master
master
10m 4s
Use OCaml warning names instead of warning numbers Oldest #58: Commit 3da76f5 pushed by xavierleroy
5m 32s master
master
5m 32s
Oldest Oldest #57: Manually run by xavierleroy
5m 22s Makefile.extr
Makefile.extr
5m 22s
Latest Latest #57: Manually run by xavierleroy
6m 12s Makefile.extr
Makefile.extr
6m 12s
Build Build #106: Manually run by xavierleroy
9m 56s Makefile.extr
Makefile.extr
9m 56s
Build Build #105: Manually run by xavierleroy
10m 3s need64
need64
10m 3s
Build Build #104: Manually run by xavierleroy
3m 45s need64
need64
3m 45s
Perform basic checks over [static expr] array declarators Build #103: Commit 8a89973 pushed by xavierleroy
10m 17s master
master
10m 17s
Perform basic checks over [static expr] array declarators Oldest #56: Commit 8a89973 pushed by xavierleroy
5m 26s master
master
5m 26s
Perform basic checks over [static expr] array declarators Latest #56: Commit 8a89973 pushed by xavierleroy
6m 12s master
master
6m 12s