Skip to content

Actions: AbsInt/CompCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
94 workflow runs
94 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
Build Build #129: Manually run by xavierleroy
10m 39s text-noexec
text-noexec
10m 39s
RISC-V: use PC-relative addressing instead of absolute addressing Build #128: Pull request #550 synchronize by xavierleroy
10m 39s riscV-PC-relative
riscV-PC-relative
10m 39s
RISC-V: use PC-relative addressing instead of absolute addressing Build #127: Pull request #550 synchronize by xavierleroy
10m 39s riscV-PC-relative
riscV-PC-relative
10m 39s
RISC-V: use PC-relative addressing instead of absolute addressing Build #126: Pull request #550 opened by xavierleroy
11m 2s riscV-PC-relative
riscV-PC-relative
11m 2s
Require Znumtheory before using it (#548) Build #125: Commit 1670ae7 pushed by xavierleroy
10m 44s master
master
10m 44s
Require Znumtheory before using it Build #124: Pull request #548 synchronize by xavierleroy
13m 8s andres-erbsen:patch-1
andres-erbsen:patch-1
13m 8s
Merge pull request #547 from AbsInt/coq-9.0 Build #123: Commit b41d5c1 pushed by xavierleroy
10m 16s master
master
10m 16s
Support for Rocq/Coq 9.0 Build #122: Pull request #547 synchronize by xavierleroy
10m 13s coq-9.0
coq-9.0
10m 13s
Require Znumtheory before using it Build #121: Pull request #548 opened by andres-erbsen
10m 13s andres-erbsen:patch-1
andres-erbsen:patch-1
10m 13s
Remove duplicated definition/lemma. Build #120: Commit 2d97cc4 pushed by xavierleroy
10m 11s master
master
10m 11s
Remove duplicated definition/lemma. Build #119: Commit 9fec54a pushed by xavierleroy
7m 5s master
master
7m 5s
Introduce select_long Build #118: Commit 1854670 pushed by xavierleroy
10m 12s master
master
10m 12s
Support for Rocq/Coq 9.0 Build #117: Pull request #547 synchronize by xavierleroy
10m 31s coq-9.0
coq-9.0
10m 31s
Support for Rocq/Coq 9.0 Build #116: Pull request #547 synchronize by xavierleroy
10m 19s coq-9.0
coq-9.0
10m 19s
Support for Rocq/Coq 9.0 Build #115: Pull request #547 synchronize by xavierleroy
10m 19s coq-9.0
coq-9.0
10m 19s
Support for Rocq/Coq 9.0 Build #114: Pull request #547 opened by xavierleroy
10m 19s coq-9.0
coq-9.0
10m 19s
Less aggressive CSE across calls to known runtime functions Build #113: Commit d1812c3 pushed by xavierleroy
9m 49s master
master
9m 49s
Build Build #112: Manually run by xavierleroy
9m 51s builtin-optims
builtin-optims
9m 51s
More precise value analysis of != comparisons Build #111: Commit ccee155 pushed by xavierleroy
9m 47s master
master
9m 47s