Skip to content

Actions: ppedrot/coq-tactician

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt w.r.t. coq/coq#19743. Remote Bench #4: Commit ccef466 pushed by ppedrot
October 22, 2024 20:34 22s we-will-rocq-you-coqlib
we-will-rocq-you-coqlib
October 22, 2024 20:34 22s
Adapt w.r.t. coq/coq#19743. Stdlib #4: Commit ccef466 pushed by ppedrot
October 22, 2024 20:34 3m 35s we-will-rocq-you-coqlib
we-will-rocq-you-coqlib
October 22, 2024 20:34 3m 35s
Adapt w.r.t. coq/coq#19743. CI #4: Commit ccef466 pushed by ppedrot
October 22, 2024 20:34 5m 35s we-will-rocq-you-coqlib
we-will-rocq-you-coqlib
October 22, 2024 20:34 5m 35s
Adapt w.r.t. coq/coq#19736. CI #3: Commit c954a60 pushed by ppedrot
October 22, 2024 09:25 5m 37s we-will-rocq-you-pcoq
we-will-rocq-you-pcoq
October 22, 2024 09:25 5m 37s
Adapt w.r.t. coq/coq#19736. Remote Bench #3: Commit c954a60 pushed by ppedrot
October 22, 2024 09:25 25s we-will-rocq-you-pcoq
we-will-rocq-you-pcoq
October 22, 2024 09:25 25s
Adapt w.r.t. coq/coq#19736. Stdlib #3: Commit c954a60 pushed by ppedrot
October 22, 2024 09:25 3m 38s we-will-rocq-you-pcoq
we-will-rocq-you-pcoq
October 22, 2024 09:25 3m 38s
Adapt w.r.t. coq/coq#19481. Remote Bench #2: Commit d6faad4 pushed by ppedrot
August 30, 2024 10:40 21s fast-namegen-detyping
fast-namegen-detyping
August 30, 2024 10:40 21s
Adapt w.r.t. coq/coq#19481. Stdlib #2: Commit d6faad4 pushed by ppedrot
August 30, 2024 10:40 8m 12s fast-namegen-detyping
fast-namegen-detyping
August 30, 2024 10:40 8m 12s
Adapt w.r.t. coq/coq#19481. CI #2: Commit d6faad4 pushed by ppedrot
August 30, 2024 10:40 5m 44s fast-namegen-detyping
fast-namegen-detyping
August 30, 2024 10:40 5m 44s
Adapt w.r.t. coq/coq#19313. Remote Bench #1: Commit 0eb39ec pushed by ppedrot
July 4, 2024 09:22 24s ltac1-split-some-plugins
ltac1-split-some-plugins
July 4, 2024 09:22 24s
Adapt w.r.t. coq/coq#19313. Stdlib #1: Commit 0eb39ec pushed by ppedrot
July 4, 2024 09:22 3m 22s ltac1-split-some-plugins
ltac1-split-some-plugins
July 4, 2024 09:22 3m 22s
Adapt w.r.t. coq/coq#19313. CI #1: Commit 0eb39ec pushed by ppedrot
July 4, 2024 09:22 5m 26s ltac1-split-some-plugins
ltac1-split-some-plugins
July 4, 2024 09:22 5m 26s