Skip to content

Actions: AbsInt/CompCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
92 workflow runs
92 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove support for x86 32 bits Build #174: Pull request #572 synchronize by xavierleroy
10m 31s bye-bye-IA32
bye-bye-IA32
10m 31s
Remove support for x86 32 bits Build #173: Pull request #572 opened by xavierleroy
3m 15s bye-bye-IA32
bye-bye-IA32
3m 15s
Extract Rocq strings to OCaml strings Build #172: Pull request #571 opened by xavierleroy
10m 15s extract-strings
extract-strings
10m 15s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 Build #171: Pull request #570 opened by proux01
10m 26s proux01:rocq21478
proux01:rocq21478
10m 26s
AArch64 Asmexpand: use Asmgen.offset_representable in the expansion o… Build #170: Commit 821abd5 pushed by xavierleroy
12m 14s master
master
12m 14s
Ceval.binop: take bit width of integer type into account for shifts Build #169: Commit bf062de pushed by xavierleroy
15m 52s master
master
15m 52s
Ceval.binop: take bit width of integer type into account for shifts Build #168: Commit ea88f42 pushed by xavierleroy
10m 25s master
master
10m 25s
Fix issues in the cparser/Ceval.ml constant evaluator Build #167: Pull request #567 synchronize by xavierleroy
10m 12s fix-ceval
fix-ceval
10m 12s
Fix issues in the cparser/Ceval.ml constant evaluator Build #166: Pull request #567 synchronize by xavierleroy
11m 33s fix-ceval
fix-ceval
11m 33s
Fix issues in the cparser/Ceval.ml constant evaluator Build #165: Pull request #567 opened by xavierleroy
8m 38s fix-ceval
fix-ceval
8m 38s
Pass type of controlling switch expression into ctx. Build #164: Commit f6a5780 pushed by xavierleroy
13m 39s master
master
13m 39s
cparser/ErrorReports.ml: remove the use of the deprecated library [Me… Build #163: Commit af865ad pushed by xavierleroy
10m 24s master
master
10m 24s
macOS ARM: silence the 'redefining builtin macro' preprocessor warning Build #162: Commit 2e1480a pushed by xavierleroy
10m 23s master
master
10m 23s
RISC-V: Favor the use of integer registers x10 to x15 Build #161: Commit 51a8450 pushed by xavierleroy
9m 59s master
master
9m 59s
Build Build #160: Manually run by xavierleroy
11m 31s riscv-options
riscv-options
11m 31s
Build Build #159: Manually run by xavierleroy
11m 26s riscv-options
riscv-options
11m 26s
cparser/ErrorReports.ml: remove the use of deprecated features in MenhirLib Build #158: Pull request #562 opened by fpottier
10m 13s fpottier:master
fpottier:master
10m 13s
RISC-V: add missing Osel case for PrintOp Build #157: Commit e671e45 pushed by xavierleroy
10m 22s master
master
10m 22s
Small fixes for unknown-warning-option. Build #156: Commit a771939 pushed by xavierleroy
14m 7s master
master
14m 7s
Build Build #155: Manually run by xavierleroy
10m 39s master
master
10m 39s
Updates for release 3.16 Build #154: Commit a4ad87b pushed by xavierleroy
16m 12s master
master
16m 12s
Add -z nobtcfi linker option if needed and supported Build #153: Commit d5dcac4 pushed by xavierleroy
11m 24s master
master
11m 24s
Build Build #152: Manually run by xavierleroy
11m 39s alignof_blockcopy
alignof_blockcopy
11m 39s
Build Build #151: Manually run by xavierleroy
2m 52s alignof_blockcopy
alignof_blockcopy
2m 52s
Test clightgen at most once Build #150: Commit ce0f6ca pushed by xavierleroy
10m 25s master
master
10m 25s