Skip to content

Actions: AbsInt/CompCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
131 workflow runs
131 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
Changelog rewording Build #267: Commit 14d6160 pushed by xavierleroy
9m 58s master
master
9m 58s
RISC-V Pbtbl pseudoinstruction: use x6 as temporary Build #266: Commit c373ea1 pushed by xavierleroy
10m 2s master
master
10m 2s
Build Build #265: Manually run by xavierleroy
11m 15s riscV-btbl
riscV-btbl
11m 15s
Rocq warnings: address the new warning names introduced by Rocq Stdli… Build #264: Commit 77ef757 pushed by xavierleroy
14m 27s master
master
14m 27s
Merge pull request #592 from AbsInt/free-inject Build #263: Commit 5074ecc pushed by xavierleroy
11m 21s master
master
11m 21s
Stricter formal semantics for free Build #262: Pull request #592 synchronize by xavierleroy
10m 24s free-inject
free-inject
10m 24s
Merge pull request #595 from AbsInt/x86_64-jmptbl Build #261: Commit ad4934a pushed by xavierleroy
11m 42s master
master
11m 42s
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
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 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 Build #256: Pull request #595 opened by xavierleroy
10m 13s x86_64-jmptbl
x86_64-jmptbl
10m 13s
Register allocation: try aggressive coalescing first Build #255: Pull request #594 opened by xavierleroy
10m 24s coalescing
coalescing
10m 24s
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 … Build #253: Commit e9cbaf6 pushed by xavierleroy
11m 30s master
master
11m 30s
Introduce and use Senv.inject, Genv.inject, Val.inject_ptr_flat Build #252: Pull request #593 opened by xavierleroy
10m 16s globalenvs_inject
globalenvs_inject
10m 16s
Asmgenproof for PowerPC: ensure compatibility with old Coq versions Build #251: Commit 1aa352b pushed by xavierleroy
9m 57s master
master
9m 57s
Asmgenproof for PowerPC: remove important_preg Build #250: Commit af92568 pushed by xavierleroy
9m 43s master
master
9m 43s
Update the test suite (again) Build #249: Commit 8bb14cb pushed by xavierleroy
10m 34s master
master
10m 34s
Stricter formal semantics for free Build #248: Pull request #592 opened by xavierleroy
10m 7s free-inject
free-inject
10m 7s
Update the test suite Build #247: Commit 96e66b8 pushed by xavierleroy
10m 23s master
master
10m 23s
Update documentation on warnings Build #246: Commit d1321b5 pushed by xavierleroy
10m 57s master
master
10m 57s
extraction: use Set Extraction Prefix for compatibility with Rocq 9.4… Build #245: Commit 44026b3 pushed by xavierleroy
10m 28s master
master
10m 28s
Adapt to rocq-prover/rocq#22271 Build #244: Pull request #589 synchronize by xavierleroy
10m 57s proux01:rocq22271
proux01:rocq22271
10m 57s
Menhirlib: fix misplaced Proof commands Build #243: Commit b7b05fc pushed by xavierleroy
10m 44s master
master
10m 44s