Skip to content

Actions: rocq-community/rocq-lean-import

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to rocq-prover/rocq#21149 (better handling of timeout backtraces) Docker CI #104: Pull request #42 opened by SkySkimmer
2m 32s SkySkimmer:timeout-exns
SkySkimmer:timeout-exns
2m 32s
Merge pull request #41 from SkySkimmer/mip-mind-record Docker CI #103: Commit 1372656 pushed by SkySkimmer
2m 7s master
master
2m 7s
Adapt to rocq-prover/rocq#21069 (records can be mutual with non records) Docker CI #102: Pull request #41 opened by SkySkimmer
1m 54s SkySkimmer:mip-mind-record
SkySkimmer:mip-mind-record
1m 54s
Re-add lower bounds to rocq-core dependency Docker CI #101: Commit d64fc71 pushed by JasonGross
2m 24s master
master
2m 24s
Drop version dependency on rocq-core Docker CI #100: Commit d8017d9 pushed by JasonGross
2m 26s master
master
2m 26s
Merge pull request #39 from rocq-community/stdlib154 Docker CI #99: Commit c354610 pushed by proux01
5m 41s master
master
5m 41s
Adapt to https://github.com/rocq-prover/stdlib/pull/154 Docker CI #98: Pull request #39 opened by proux01
5m 35s stdlib154
stdlib154
5m 35s
Merge pull request #37 from SkySkimmer/simpl-proj-flags Docker CI #97: Commit 21b8048 pushed by SkySkimmer
2m 35s master
master
2m 35s
Adapt to rocq-prover/rocq#20605 (cleaned up projection flags) Docker CI #96: Pull request #37 opened by SkySkimmer
2m 37s SkySkimmer:simpl-proj-flags
SkySkimmer:simpl-proj-flags
2m 37s
Merge pull request #36 from LeoAlexElouan/clarify-bound-names Docker CI #95: Commit cc52b2a pushed by SkySkimmer
2m 7s master
master
2m 7s
adapt to rocq-prover/rocq#20496 (changed bound_names) Docker CI #94: Pull request #36 opened by LeoAlexElouan
2m 2s LeoAlexElouan:clarify-bound-names
LeoAlexElouan:clarify-bound-names
2m 2s
Merge pull request #34 from SkySkimmer/avoid-family Docker CI #93: Commit d322e36 pushed by SkySkimmer
2m 13s master
master
2m 13s
Avoid using Sorts.family Docker CI #92: Pull request #34 synchronize by SkySkimmer
2m 10s SkySkimmer:avoid-family
SkySkimmer:avoid-family
2m 10s
Merge pull request #35 from SkySkimmer/giti Docker CI #91: Commit 408711c pushed by SkySkimmer
2m 8s master
master
2m 8s
Update gitignore Docker CI #90: Pull request #35 opened by SkySkimmer
2m 9s SkySkimmer:giti
SkySkimmer:giti
2m 9s
Avoid using Sorts.family Docker CI #89: Pull request #34 synchronize by SkySkimmer
1m 57s SkySkimmer:avoid-family
SkySkimmer:avoid-family
1m 57s
Avoid using Sorts.family Docker CI #88: Pull request #34 synchronize by SkySkimmer
1m 52s SkySkimmer:avoid-family
SkySkimmer:avoid-family
1m 52s
Avoid using Sorts.family Docker CI #87: Pull request #34 synchronize by SkySkimmer
1m 53s SkySkimmer:avoid-family
SkySkimmer:avoid-family
1m 53s
Avoid using Sorts.family Docker CI #86: Pull request #34 opened by SkySkimmer
1m 57s SkySkimmer:avoid-family
SkySkimmer:avoid-family
1m 57s
Merge pull request #33 from ppedrot/namegen-no-global Docker CI #85: Commit 576c5b6 pushed by SkySkimmer
2m 7s master
master
2m 7s
Adapt w.r.t. rocq-prover/rocq#20423. Docker CI #84: Pull request #33 opened by ppedrot
2m 1s ppedrot:namegen-no-global
ppedrot:namegen-no-global
2m 1s
Merge pull request #31 from SkySkimmer/fix-mathlib Docker CI #83: Commit 3ee7d8b pushed by SkySkimmer
2m 7s master
master
2m 7s
Fix mathlib dump link Docker CI #82: Pull request #31 opened by SkySkimmer
2m 5s SkySkimmer:fix-mathlib
SkySkimmer:fix-mathlib
2m 5s
use rocq makefile in tests Docker CI #81: Commit 5b03d90 pushed by SkySkimmer
2m 9s master
master
2m 9s
Use rocq makefile Docker CI #80: Commit eee1077 pushed by SkySkimmer
2m 14s master
master
2m 14s