Skip to content

Actions: AbsInt/CompCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
91 workflow runs
91 workflow runs

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
Compiler: remove useless clear H Build #208: Commit 2d1d75f pushed by xavierleroy
10m 9s master
master
10m 9s
Adapt to rocq-prover/rocq#21987 (clear checks that ids are bound even when from match goal) Build #207: Pull request #582 opened by SkySkimmer
11m 12s SkySkimmer:context-secvar
SkySkimmer:context-secvar
11m 12s
Iteration: don't use axioms Build #206: Commit 41c0065 pushed by xavierleroy
10m 15s master
master
10m 15s
Cshmgen: fixed the formatting of documentation comments Build #205: Commit 2d626a8 pushed by xavierleroy
10m 26s master
master
10m 26s
Merge pull request #581 from AbsInt/global_alignment Build #204: Commit 7120520 pushed by xavierleroy
10m 20s master
master
10m 20s
Github actions: update the checkout action Build #203: Commit 508575c pushed by xavierleroy
10m 6s master
master
10m 6s
Enforce minimal safe alignment on global variables Build #202: Pull request #581 synchronize by xavierleroy
10m 7s global_alignment
global_alignment
10m 7s
Enforce minimal safe alignment on global variables Build #201: Pull request #581 synchronize by xavierleroy
10m 27s global_alignment
global_alignment
10m 27s
Enforce minimal safe alignment on global variables Build #200: Pull request #581 opened by xavierleroy
10m 5s global_alignment
global_alignment
10m 5s
AArch64 asm clobbers: recognize more register names (#576) Build #199: Commit 0493127 pushed by xavierleroy
14m 51s master
master
14m 51s
Basic support for building multiple target architectures in parallel Build #198: Commit cec2bd8 pushed by xavierleroy
10m 7s master
master
10m 7s
Clean up configure file Build #197: Commit 90cf0ed pushed by xavierleroy
10m 26s master
master
10m 26s
More prudent handling of static names for string literals (#579) Build #196: Commit 0737ca9 pushed by xavierleroy
10m 9s master
master
10m 9s
More prudent handling of static names for string literals Build #195: Pull request #579 synchronize by xavierleroy
10m 12s stringlit
stringlit
10m 12s
CI golf: rocq-prover:latest is currently unstable, use :9.1.1 instead Build #194: Commit d9377f6 pushed by xavierleroy
10m 24s master
master
10m 24s
Update to Flocq 4.2.2 Build #193: Commit 43320aa pushed by xavierleroy
10m 16s master
master
10m 16s
More prudent handling of static names for string literals Build #192: Pull request #579 synchronize by xavierleroy
10m 11s stringlit
stringlit
10m 11s
Branch relaxation: fix offset computation Build #191: Commit e119538 pushed by xavierleroy
10m 7s master
master
10m 7s
More prudent handling of static names for string literals Build #190: Pull request #579 opened by xavierleroy
10m 15s stringlit
stringlit
10m 15s
Rocq 9.1.1 is supported Build #189: Commit 1b71fec pushed by xavierleroy
10m 21s master
master
10m 21s
Compatibility with old OCaml versions Build #188: Commit ebe31b0 pushed by xavierleroy
10m 20s master
master
10m 20s
Merge pull request #575 from AbsInt/relaxation Build #187: Commit 14c0b59 pushed by xavierleroy
10m 28s master
master
10m 28s
AArch64 asm clobbers: recognize more register names Build #186: Pull request #576 synchronize by xavierleroy
10m 21s aarch64-register-aliases
aarch64-register-aliases
10m 21s
AArch64 asm clobbers: recognize more register names Build #185: Pull request #576 opened by xavierleroy
10m 25s aarch64-register-aliases
aarch64-register-aliases
10m 25s
Branch relaxation Build #184: Pull request #575 synchronize by xavierleroy
10m 28s relaxation
relaxation
10m 28s