Skip to content

Actions: AbsInt/CompCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
92 workflow runs
92 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stricter treatment of '$' in identifiers. Build #93: Commit 6088018 pushed by xavierleroy
December 23, 2024 14:39 10m 10s master
master
December 23, 2024 14:39 10m 10s
Updates for release 3.15 Build #92: Commit a9872d6 pushed by xavierleroy
December 13, 2024 10:15 10m 16s master
master
December 13, 2024 10:15 10m 16s
Fix elaboration of function definitions with nested function types Build #91: Commit ec033c3 pushed by xavierleroy
December 13, 2024 09:13 10m 9s master
master
December 13, 2024 09:13 10m 9s
Update Changelog Build #90: Commit 3f217e3 pushed by xavierleroy
December 10, 2024 09:25 10m 3s master
master
December 10, 2024 09:25 10m 3s
Build Build #89: Manually run by xavierleroy
December 10, 2024 09:13 10m 8s arm-linux-hf
arm-linux-hf
December 10, 2024 09:13 10m 8s
More updates in preparation for release 3.15 Build #88: Commit 9597352 pushed by xavierleroy
December 6, 2024 14:49 10m 31s master
master
December 6, 2024 14:49 10m 31s
Merge pull request #541 from AbsInt/dollar-ident Build #87: Commit d4c6a8c pushed by xavierleroy
December 6, 2024 14:19 10m 52s master
master
December 6, 2024 14:19 10m 52s
Work around broken Homebrew binary package for Menhir Build #86: Commit 3710994 pushed by xavierleroy
December 3, 2024 13:58 10m 15s master
master
December 3, 2024 13:58 10m 15s
Support C99 array declarator syntax involving static and * (#539) Build #85: Commit 8408602 pushed by xavierleroy
December 2, 2024 13:46 10m 17s master
master
December 2, 2024 13:46 10m 17s
Protect against $NNN identifiers Build #84: Pull request #541 opened by xavierleroy
December 2, 2024 13:43 10m 5s dollar-ident
dollar-ident
December 2, 2024 13:43 10m 5s
Support C99 array declarator syntax involving static and * Build #83: Pull request #539 synchronize by xavierleroy
November 30, 2024 09:15 10m 13s c99-array-syntax
c99-array-syntax
November 30, 2024 09:15 10m 13s
Support C99 array declarator syntax involving static and * Build #82: Pull request #539 opened by xavierleroy
November 29, 2024 14:55 10m 11s c99-array-syntax
c99-array-syntax
November 29, 2024 14:55 10m 11s
Updates in preparation for release 3.15 Build #81: Commit 5e445cd pushed by xavierleroy
November 27, 2024 15:21 10m 4s master
master
November 27, 2024 15:21 10m 4s
Use -deprecated-since-N.NN warning options Build #80: Commit 6da277c pushed by xavierleroy
November 27, 2024 10:37 10m 11s master
master
November 27, 2024 10:37 10m 11s
Build Build #79: Manually run by xavierleroy
November 27, 2024 09:39 10m 14s coq-820
coq-820
November 27, 2024 09:39 10m 14s
Build Build #78: Manually run by xavierleroy
November 27, 2024 09:38 31s master
master
November 27, 2024 09:38 31s
Merge pull request #538 from AbsInt/atom_is_external Build #77: Commit 6484180 pushed by xavierleroy
November 22, 2024 10:22 10m 1s master
master
November 22, 2024 10:22 10m 1s
Replace C2C.atom_is_extern by more robust criterion C2C.atom_is_external Build #76: Pull request #538 synchronize by xavierleroy
November 22, 2024 09:27 10m 5s atom_is_external
atom_is_external
November 22, 2024 09:27 10m 5s
Replace C2C.atom_is_extern by more robust criterion C2C.atom_is_external Build #75: Pull request #538 synchronize by xavierleroy
November 21, 2024 10:56 10m 2s atom_is_external
atom_is_external
November 21, 2024 10:56 10m 2s
Replace C2C.atom_is_extern by more robust criterion C2C.atom_is_external Build #74: Pull request #538 opened by xavierleroy
November 19, 2024 14:40 10m 14s atom_is_external
atom_is_external
November 19, 2024 14:40 10m 14s
remove compat dance connecting Zeq_bool and Z.eqb Build #73: Pull request #535 synchronize by andres-erbsen
November 4, 2024 19:57 10m 1s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 4, 2024 19:57 10m 1s
use Z.eqb_eq instead of Z.eqb_compare, fold Zeq_bool (for coq/coq#19801) Build #71: Pull request #534 opened by andres-erbsen
November 3, 2024 16:31 2m 43s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:31 2m 43s
Simplify make documentation Build #70: Commit 044cfbc pushed by xavierleroy
October 30, 2024 18:10 10m 20s master
master
October 30, 2024 18:10 10m 20s
Use GNU make's wildcard expansion instead of the shell's, because the… Build #69: Pull request #532 opened by monniaux
October 29, 2024 15:58 10m 18s monniaux:master
monniaux:master
October 29, 2024 15:58 10m 18s
Build .glob files at the default place and install them (#529) Build #68: Commit 6da3547 pushed by xavierleroy
October 26, 2024 08:03 10m 7s master
master
October 26, 2024 08:03 10m 7s