Skip to content

Actions: AbsInt/CompCert

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
287 workflow runs
287 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #571 from AbsInt/extract-strings Build #179: Commit 859d59b pushed by xavierleroy
13m 36s master
master
13m 36s
Merge pull request #571 from AbsInt/extract-strings Latest #98: Commit 859d59b pushed by xavierleroy
10m 23s master
master
10m 23s
Merge pull request #571 from AbsInt/extract-strings Oldest #94: Commit 859d59b pushed by xavierleroy
9m 15s master
master
9m 15s
Extract Rocq strings to OCaml strings Build #178: Pull request #571 synchronize by xavierleroy
10m 29s extract-strings
extract-strings
10m 29s
Oldest Oldest #93: Manually run by xavierleroy
4m 54s extract-strings
extract-strings
4m 54s
Latest Latest #97: Manually run by xavierleroy
5m 58s extract-strings
extract-strings
5m 58s
Extract Rocq strings to OCaml strings Build #177: Pull request #571 synchronize by xavierleroy
10m 12s extract-strings
extract-strings
10m 12s
Avoid using is as a variable name Latest #96: Commit 4f8f2b1 pushed by xavierleroy
5m 54s master
master
5m 54s
Avoid using is as a variable name Oldest #92: Commit 4f8f2b1 pushed by xavierleroy
4m 55s master
master
4m 55s
Avoid using is as a variable name Build #176: Commit 4f8f2b1 pushed by xavierleroy
10m 13s master
master
10m 13s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 Build #175: Pull request #570 synchronize by xavierleroy
10m 25s proux01:rocq21478
proux01:rocq21478
10m 25s
Remove support for x86 32 bits Build #174: Pull request #572 synchronize by xavierleroy
10m 31s bye-bye-IA32
bye-bye-IA32
10m 31s
Remove support for x86 32 bits Build #173: Pull request #572 opened by xavierleroy
3m 15s bye-bye-IA32
bye-bye-IA32
3m 15s
Extract Rocq strings to OCaml strings Build #172: Pull request #571 opened by xavierleroy
10m 15s extract-strings
extract-strings
10m 15s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 Build #171: Pull request #570 opened by proux01
10m 26s proux01:rocq21478
proux01:rocq21478
10m 26s
AArch64 Asmexpand: use Asmgen.offset_representable in the expansion o… Oldest #91: Commit 821abd5 pushed by xavierleroy
4m 47s master
master
4m 47s
AArch64 Asmexpand: use Asmgen.offset_representable in the expansion o… Latest #95: Commit 821abd5 pushed by xavierleroy
7m 20s master
master
7m 20s
AArch64 Asmexpand: use Asmgen.offset_representable in the expansion o… Build #170: Commit 821abd5 pushed by xavierleroy
12m 14s master
master
12m 14s
Ceval.binop: take bit width of integer type into account for shifts Oldest #90: Commit bf062de pushed by xavierleroy
11m 51s master
master
11m 51s
Ceval.binop: take bit width of integer type into account for shifts Build #169: Commit bf062de pushed by xavierleroy
15m 52s master
master
15m 52s
Ceval.binop: take bit width of integer type into account for shifts Latest #94: Commit bf062de pushed by xavierleroy
10m 4s master
master
10m 4s
Ceval.binop: take bit width of integer type into account for shifts Build #168: Commit ea88f42 pushed by xavierleroy
10m 25s master
master
10m 25s
Ceval.binop: take bit width of integer type into account for shifts Latest #93: Commit ea88f42 pushed by xavierleroy
6m 6s master
master
6m 6s
Ceval.binop: take bit width of integer type into account for shifts Oldest #89: Commit ea88f42 pushed by xavierleroy
4m 55s master
master
4m 55s
Fix issues in the cparser/Ceval.ml constant evaluator Build #167: Pull request #567 synchronize by xavierleroy
10m 12s fix-ceval
fix-ceval
10m 12s