Skip to content

Actions: AbsInt/CompCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
136 workflow runs
136 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
Makefile: improve setup-build action Build #286: Commit e276a3f pushed by xavierleroy
10m 57s master
master
10m 57s
Update test/ submodule Build #285: Commit 2bd5135 pushed by xavierleroy
11m 32s master
master
11m 32s
AArch64: wrong size estimate for Ploadsymbol Build #284: Commit 997d17b pushed by xavierleroy
10m 36s master
master
10m 36s
configure: bump minimal OCaml version to 4.07 Build #283: Commit 4245db1 pushed by xavierleroy
9m 18s master
master
9m 18s
Delete test file Build #282: Commit 7e98079 pushed by m-schmidt
15m 26s master
master
15m 26s
Fixes Issue #606 Build #281: Commit 864bfc1 pushed by m-schmidt
9m 27s master
master
9m 27s
Avoid linear AST expansion for local array initializers Build #280: Pull request #603 opened by admkopec
Action required admkopec:fix/local-array-initializer-expansion
admkopec:fix/local-array-initializer-expansion
Action required
cparser/Env: testing whether two Env.t define the same types Build #279: Commit 6721d7e pushed by xavierleroy
18m 7s master
master
18m 7s
Build Build #278: Manually run by xavierleroy
11m 23s no-local-struct-defs-2
no-local-struct-defs-2
11m 23s
Merge pull request #598 from AbsInt/signed-switch Build #277: Commit 66a9fd0 pushed by xavierleroy
10m 55s master
master
10m 55s
Ignore unknown pragmas during lexing (#597) Build #276: Commit 1eac8e8 pushed by xavierleroy
11m 3s master
master
11m 3s
Keep Events.meminj_preserve_globals for backward compatibility Build #275: Commit 74cbdbf pushed by xavierleroy
10m 53s master
master
10m 53s
Recognize dense switch statements involving negative and positive cases. Build #274: Pull request #598 opened by xavierleroy
11m 16s signed-switch
signed-switch
11m 16s
Ignore unknown pragmas during lexing Build #273: Pull request #597 opened by xavierleroy
10m 21s remove-pragmas-early
remove-pragmas-early
10m 21s
Merge pull request #596 from AbsInt/big-memcpy-fixes Build #272: Commit bd2b382 pushed by xavierleroy
10m 37s master
master
10m 37s
__builtin_memcpy_aligned for large blocks Build #271: Pull request #596 opened by xavierleroy
10m 20s big-memcpy-fixes
big-memcpy-fixes
10m 20s
Introduce and use Senv.inject, Genv.inject, Val.inject_ptr_flat (#593) Build #270: Commit 59b4733 pushed by xavierleroy
10m 8s master
master
10m 8s
Updates for release 3.18 Build #269: Commit 1154e1f pushed by xavierleroy
10m 39s master
master
10m 39s
Update CompCert version to match latest release Build #268: Commit 8135de0 pushed by m-schmidt
10m 18s master
master
10m 18s
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