Skip to content

Actions: AbsInt/CompCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
111 workflow runs
111 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
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
Makefile: use an explicit path for extraction/extraction.v (#591) Build #242: Commit 0835de1 pushed by xavierleroy
10m 29s master
master
10m 29s
Support development Menhir and Rocq 9.3 proof syntax Build #241: Pull request #590 synchronize by JasonGross
11m 17s JasonGross:claude/rocq-dev-compat
JasonGross:claude/rocq-dev-compat
11m 17s
Support development Menhir and Rocq 9.3 proof syntax Build #240: Pull request #590 synchronize by JasonGross
10m 25s JasonGross:claude/rocq-dev-compat
JasonGross:claude/rocq-dev-compat
10m 25s
Makefile: use an explicit path for extraction/extraction.v Build #239: Pull request #591 opened by JasonGross
10m 25s JasonGross:fix-extraction-loadpath
JasonGross:fix-extraction-loadpath
10m 25s
Support development Menhir and Rocq 9.3 proof syntax Build #238: Pull request #590 synchronize by JasonGross
10m 30s JasonGross:claude/rocq-dev-compat
JasonGross:claude/rocq-dev-compat
10m 30s
Support development Menhir and Rocq 9.3 proof syntax Build #237: Pull request #590 synchronize by JasonGross
10m 15s JasonGross:claude/rocq-dev-compat
JasonGross:claude/rocq-dev-compat
10m 15s
Support development Menhir and Rocq 9.3 proof syntax Build #236: Pull request #590 opened by JasonGross
10m 25s JasonGross:claude/rocq-dev-compat
JasonGross:claude/rocq-dev-compat
10m 25s
Adapt to rocq-prover/rocq#22271 Build #235: Pull request #589 synchronize by proux01
9m 55s proux01:rocq22271
proux01:rocq22271
9m 55s
Merge pull request #587 from AbsInt/rocq-9.2 Build #234: Commit a354849 pushed by xavierleroy
10m 21s master
master
10m 21s
Full support for Rocq 9.2 Build #233: Pull request #587 synchronize by xavierleroy
10m 25s rocq-9.2
rocq-9.2
10m 25s
Adapt to rocq-prover/rocq#22271 Build #232: Pull request #589 opened by proux01
10m 35s proux01:rocq22271
proux01:rocq22271
10m 35s
String literals in asm files: use asm escapes, not OCaml escapes (#588) Build #231: Commit eeeb0aa pushed by xavierleroy
10m 22s master
master
10m 22s
String literals in asm files: use asm quoting conventions, not OCaml's Build #230: Pull request #588 synchronize by xavierleroy
10m 19s asm-string-quoting
asm-string-quoting
10m 19s
String literals in asm files: use asm quoting conventions, not OCaml's Build #229: Pull request #588 opened by xavierleroy
10m 8s asm-string-quoting
asm-string-quoting
10m 8s
Asm printing: quote command-line arguments when needed, continued Build #228: Commit 55c6e6d pushed by xavierleroy
9m 53s master
master
9m 53s
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