Skip to content

Actions: SkySkimmer/rocq-ltac2-compiler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to rocq-prover/rocq#21617 (TacAlias -> TacAbbrev) Docker CI #60: Pull request #34 opened by SkySkimmer
1m 40s tac2abbrev-up
tac2abbrev-up
1m 40s
Basic support for Ltac2 Backtrace / Ltac Profiling Docker CI #59: Pull request #12 synchronize by SkySkimmer
2m 14s backtrace
backtrace
2m 14s
Fix #31 (#32) Docker CI #58: Commit 0401985 pushed by SkySkimmer
2m 14s main
main
2m 14s
Fix #31 Docker CI #57: Pull request #32 synchronize by SkySkimmer
2m 10s mut-abstract-proj
mut-abstract-proj
2m 10s
do some renaming (#33) Docker CI #56: Commit e9a3977 pushed by SkySkimmer
2m 19s main
main
2m 19s
Fix #31 Docker CI #55: Pull request #32 synchronize by SkySkimmer
4m 59s mut-abstract-proj
mut-abstract-proj
4m 59s
do some renaming Docker CI #54: Pull request #33 opened by SkySkimmer
2m 43s rename
rename
2m 43s
Fix #31 Docker CI #53: Pull request #32 opened by SkySkimmer
4m 53s mut-abstract-proj
mut-abstract-proj
4m 53s
Adapt to rocq-prover/rocq#20566 (Ltac2 rec doesn't produce a wrapper … Docker CI #52: Commit 2ee3660 pushed by SkySkimmer
2m 31s main
main
2m 31s
Adapt to rocq-prover/rocq#20566 (Ltac2 rec doesn't produce a wrapper lambda) Docker CI #51: Pull request #30 synchronize by SkySkimmer
2m 33s ltac2-simpler-rec
ltac2-simpler-rec
2m 33s
Adapt to rocq-prover/rocq#20566 (Ltac2 rec doesn't produce a wrapper lambda) Docker CI #50: Pull request #30 opened by SkySkimmer
2m 36s ltac2-simpler-rec
ltac2-simpler-rec
2m 36s
Use findlib instead of Boot.Env.native_cmi (#28) Docker CI #49: Commit 2428c8e pushed by SkySkimmer
2m 6s main
main
2m 6s
Use findlib instead of Boot.Env.native_cmi Docker CI #48: Pull request #28 synchronize by SkySkimmer
2m 17s boot-clean
boot-clean
2m 17s
Use findlib instead of Boot.Env.native_cmi Docker CI #47: Pull request #28 opened by SkySkimmer
14s boot-clean
boot-clean
14s
Use findlib instead of Boot.Env.native_cmi Docker CI #46: Pull request #27 opened by SkySkimmer
17s boot-clean
boot-clean
17s
Adapt to coq/coq#20190 (Envars.ocamlfind moved) (#26) Docker CI #45: Commit ac9dfbe pushed by SkySkimmer
16s main
main
16s
Adapt to coq/coq#20190 (Envars.ocamlfind moved) Docker CI #44: Pull request #26 opened by SkySkimmer
17s rocq-queries
rocq-queries
17s