Skip to content

Actions: mattam82/Coq-Equations

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #637 from SkySkimmer/template-entry-qvar CI #649: Commit b677174 pushed by ppedrot
February 6, 2025 15:05 2m 34s main
main
February 6, 2025 15:05 2m 34s
Adapt to coq/coq#20178 (map_univs_opt_subst takes relevance normalizer) CI #648: Pull request #637 opened by SkySkimmer
February 3, 2025 15:08 2m 39s SkySkimmer:template-entry-qvar
SkySkimmer:template-entry-qvar
February 3, 2025 15:08 2m 39s
Merge pull request #633 from SkySkimmer/evar-relevance CI #647: Commit 8e924fd pushed by ppedrot
February 3, 2025 13:33 2m 48s main
main
February 3, 2025 13:33 2m 48s
Merge pull request #636 from SkySkimmer/fix-class CI #646: Commit bfd6f02 pushed by mattam82
January 31, 2025 12:53 5m 36s main
main
January 31, 2025 12:53 5m 36s
Adapt to coq/coq#20132 (new_evar needs a relevance) CI #645: Pull request #633 synchronize by SkySkimmer
January 31, 2025 12:51 5m 34s SkySkimmer:evar-relevance
SkySkimmer:evar-relevance
January 31, 2025 12:51 5m 34s
Adapt to coq/coq#20160 (Typeclasses.instance_constructor doesn't exist) CI #644: Pull request #636 opened by SkySkimmer
January 31, 2025 12:45 5m 33s SkySkimmer:fix-class
SkySkimmer:fix-class
January 31, 2025 12:45 5m 33s
Try fixing the rocq-equations test-suite package dune def CI #643: Commit 74f6ca9 pushed by mattam82
January 29, 2025 12:30 5m 36s main
main
January 29, 2025 12:30 5m 36s
v1.3.1-9.0 CI #642: Release v1.3.1-9.0 created by mattam82
January 29, 2025 09:47 3m 5s
January 29, 2025 09:47 3m 5s
Update README CI #641: Commit 2ce6d98 pushed by mattam82
January 29, 2025 09:31 3m 7s main
main
January 29, 2025 09:31 3m 7s
Fix makefile to make the equations.dev package work again CI #640: Commit 7d0cc22 pushed by mattam82
January 29, 2025 09:25 3m 15s main
main
January 29, 2025 09:25 3m 15s
Update README.md CI #639: Commit 4ee990a pushed by mattam82
January 28, 2025 23:26 3m 14s main
main
January 28, 2025 23:26 3m 14s
Merge pull request #632 from mattam82/rocq-renaming CI #638: Commit 86d553c pushed by mattam82
January 28, 2025 23:24 3m 6s main
main
January 28, 2025 23:24 3m 6s
Rocq-renaming CI #637: Pull request #632 synchronize by mattam82
January 28, 2025 23:20 3m 4s rocq-renaming
rocq-renaming
January 28, 2025 23:20 3m 4s
Rocq-renaming CI #636: Pull request #632 synchronize by mattam82
January 28, 2025 19:40 2m 52s rocq-renaming
rocq-renaming
January 28, 2025 19:40 2m 52s
Rocq-renaming CI #635: Pull request #632 synchronize by mattam82
January 28, 2025 19:16 3m 2s rocq-renaming
rocq-renaming
January 28, 2025 19:16 3m 2s
Rocq-renaming CI #634: Pull request #632 synchronize by mattam82
January 28, 2025 19:14 2m 12s rocq-renaming
rocq-renaming
January 28, 2025 19:14 2m 12s
Rocq-renaming CI #633: Pull request #632 synchronize by mattam82
January 28, 2025 19:11 2m 7s rocq-renaming
rocq-renaming
January 28, 2025 19:11 2m 7s
Rocq-renaming CI #632: Pull request #632 synchronize by mattam82
January 28, 2025 16:18 1m 48s rocq-renaming
rocq-renaming
January 28, 2025 16:18 1m 48s
Rocq-renaming CI #631: Pull request #632 synchronize by mattam82
January 28, 2025 16:12 1m 41s rocq-renaming
rocq-renaming
January 28, 2025 16:12 1m 41s
Adapt to coq/coq#20132 (new_evar needs a relevance) CI #630: Pull request #633 opened by SkySkimmer
January 28, 2025 12:17 4m 32s SkySkimmer:evar-relevance
SkySkimmer:evar-relevance
January 28, 2025 12:17 4m 32s
Rocq-renaming CI #629: Pull request #632 opened by mattam82
January 28, 2025 11:41 4m 18s rocq-renaming
rocq-renaming
January 28, 2025 11:41 4m 18s
Merge pull request #630 from SkySkimmer/set-leq-noenv CI #628: Commit eb85124 pushed by ppedrot
January 23, 2025 07:40 4m 19s main
main
January 23, 2025 07:40 4m 19s
Adapt to coq/coq#20069 (set_leq_sort doesn't need an env) CI #627: Pull request #630 opened by SkySkimmer
January 22, 2025 11:19 7m 24s SkySkimmer:set-leq-noenv
SkySkimmer:set-leq-noenv
January 22, 2025 11:19 7m 24s
Merge pull request #625 from proux01/stdlib_repo CI #626: Commit 3431c88 pushed by ppedrot
December 6, 2024 10:34 4m 31s main
main
December 6, 2024 10:34 4m 31s
Adapt to https://github.com/coq/coq/pull/19530 CI #625: Pull request #625 opened by proux01
December 5, 2024 06:58 4m 24s proux01:stdlib_repo
proux01:stdlib_repo
December 5, 2024 06:58 4m 24s