Skip to content

Actions: mit-plv/kami

Actions

Coq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/rocq-prover/rocq/pull/21478 Coq #42: Pull request #46 opened by proux01
44m 53s proux01:rocq21478
proux01:rocq21478
44m 53s
Merge pull request #45 from tabareau/sortpoly-equality Coq #41: Commit db5a214 pushed by samuelgruetter
49m 11s rv32i
rv32i
49m 11s
add overlay (backward compat) Coq #40: Pull request #45 opened by tabareau
50m 3s tabareau:sortpoly-equality
tabareau:sortpoly-equality
50m 3s
Merge pull request #44 from SkySkimmer/no-opt-schemes Coq #39: Commit 1b42619 pushed by samuelgruetter
50m 13s rv32i
rv32i
50m 13s
Adapt to rocq-prover/rocq#21241 (stop relying on eq_rec being defined from eq_rect) Coq #38: Pull request #44 opened by SkySkimmer
48m 47s SkySkimmer:no-opt-schemes
SkySkimmer:no-opt-schemes
48m 47s
absolutize some imports Coq #37: Commit 779e2a5 pushed by andres-erbsen
44m 9s v0.0.4
v0.0.4
44m 9s
absolutize some imports Coq #36: Commit 779e2a5 pushed by andres-erbsen
1h 16m 56s rv32i
rv32i
1h 16m 56s
absolutize some imports Coq #35: Pull request #43 opened by andres-erbsen
44m 30s andres-erbsen:without-tuples-2025
andres-erbsen:without-tuples-2025
44m 30s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Coq #34: Commit 9e1e934 pushed by andres-erbsen
50m 12s rv32i
rv32i
50m 12s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Coq #33: Pull request #42 opened by proux01
45m 4s proux01:coq_17876
proux01:coq_17876
45m 4s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Coq #32: Commit 3e565a1 pushed by andres-erbsen
48m 50s rv32i
rv32i
48m 50s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Coq #31: Pull request #41 reopened by andres-erbsen
49m 37s proux01:coq_17876
proux01:coq_17876
49m 37s
run CI only on ubuntu-latest and coq master Coq #30: Commit 811b893 pushed by andres-erbsen
48m 8s rv32i
rv32i
48m 8s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Coq #29: Pull request #41 opened by proux01
2s proux01:coq_17876
proux01:coq_17876
2s