Skip to content

Actions: coq-community/metaprogramming-rosetta-stone

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New example with comments: ho_equalities, written in Ltac, Ltac2 and coq-elpi Test compilation of Autoinduct plugin #19: Pull request #21 synchronize by louiseddp
February 7, 2024 19:27 7m 0s louiseddp:main
louiseddp:main
February 7, 2024 19:27 7m 0s
New example with comments: ho_equalities, written in Ltac, Ltac2 and coq-elpi Test compilation of Autoinduct plugin #18: Pull request #21 synchronize by louiseddp
December 6, 2023 07:19 5m 58s louiseddp:main
louiseddp:main
December 6, 2023 07:19 5m 58s
New example with comments: ho_equalities, written in Ltac, Ltac2 and coq-elpi Test compilation of Autoinduct plugin #17: Pull request #21 synchronize by louiseddp
December 5, 2023 16:50 6m 0s louiseddp:main
louiseddp:main
December 5, 2023 16:50 6m 0s
New example with comments: ho_equalities, written in Ltac, Ltac2 and coq-elpi Test compilation of Autoinduct plugin #16: Pull request #21 opened by louiseddp
December 5, 2023 08:58 6m 16s louiseddp:main
louiseddp:main
December 5, 2023 08:58 6m 16s
Autoinduct documentation improvement Test compilation of Autoinduct plugin #15: Pull request #20 opened by NeuralCoder3
October 30, 2023 07:15 11m 22s NeuralCoder3:autoinduct_documentation
NeuralCoder3:autoinduct_documentation
October 30, 2023 07:15 11m 22s