Skip to content

Actions: AbsInt/CompCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
99 workflow runs
99 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
Full support for Rocq 9.2 Build #227: Pull request #587 opened by xavierleroy
10m 29s rocq-9.2
rocq-9.2
10m 29s
Build Build #226: Manually run by xavierleroy
10m 27s rocq-9.2
rocq-9.2
10m 27s
Asm printing: quote command-line arguments when needed (#586) Build #225: Commit 5d00ef0 pushed by xavierleroy
13m 15s master
master
13m 15s
Merge pull request #585 from AbsInt/no-bitfield-align Build #224: Commit f53a6b2 pushed by xavierleroy
10m 42s master
master
10m 42s
Reject aligned attribute on bit fields in struct types Build #223: Pull request #585 synchronize by xavierleroy
10m 39s no-bitfield-align
no-bitfield-align
10m 39s
Asm printing: quote command-line arguments when needed Build #222: Pull request #586 opened by xavierleroy
13m 2s quote-arguments
quote-arguments
13m 2s
Update test suite Build #221: Commit 02fc017 pushed by xavierleroy
14m 6s master
master
14m 6s
Reject aligned attribute on bit fields in struct types Build #220: Pull request #585 opened by xavierleroy
10m 12s no-bitfield-align
no-bitfield-align
10m 12s
Build Build #219: Manually run by xavierleroy
10m 6s initializers-env
initializers-env
10m 6s
Add missing Proof. commands Build #218: Commit d00a466 pushed by xavierleroy
10m 23s master
master
10m 23s
x86 / Win64 ABI: fix inconsistency on callee-save XMM registers (#584) Build #217: Commit 38146e3 pushed by xavierleroy
10m 23s master
master
10m 23s
x86 / Win64 ABI: fix inconsistency on callee-save XMM registers Build #216: Pull request #584 opened by xavierleroy
11m 17s win64-callee-save
win64-callee-save
11m 17s
Aarch64: shorten function preludes by using pre-indexed store-pair in… Build #215: Commit 0ef26da pushed by xavierleroy
9m 30s master
master
9m 30s
Aarch64: shorten function preludes by using pre-indexed store-pair instructions Build #214: Pull request #583 synchronize by xavierleroy
9m 48s aarch64-stp
aarch64-stp
9m 48s
Update test suite Build #213: Commit 812dce2 pushed by xavierleroy
10m 23s master
master
10m 23s
Build Build #212: Manually run by xavierleroy
9m 56s align_chunk
align_chunk
9m 56s
Aarch64: shorten function preludes by using pre-indexed store-pair instructions Build #211: Pull request #583 opened by xavierleroy
10m 9s aarch64-stp
aarch64-stp
10m 9s
Update README Build #210: Commit 9a508b4 pushed by xavierleroy
10m 23s master
master
10m 23s
ValueDomain: use counted "for" loops instead of recursive Function Build #209: Commit 618d523 pushed by xavierleroy
9m 38s master
master
9m 38s
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