| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
This will allow for better reuse of the cache when the URL is different
but the archive is the same.
|
|
This will be useful for users wanting to build a plugin using this package.
|
|
|
|
|
|
In #7607, dead code that used to handle non-dependent return predicates
was removed. This made the reification branch expecting non-functions
in predicates dead code. We fix this by using an assert instead.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
runner failure.
|
|
This can then be leveraged by @coqbot to know which builds to restart.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The concrete syntax is still restricted to identifiers.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Elaborate a [atts] record out of a list of flags.
|
|
We pin default.nix again to make the CI build predictable.
As in Windows builds, we need to override the default before_script.
As in other test-suite jobs, we export logs as artifacts on failure.
|
|
|
|
with apt.
|
|
|
|
|
|
This one is a bit weird.
Unused since 4d95eb4e878f375a69f1b48d8833801bf555fdd0 (kept semantics,
the m is the same one outside and inside the call)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(Universes and Evd)
|
