Skip to content

Actions: coq-community/metaprogramming-rosetta-stone

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
19 workflow runs
19 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

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
CI for autoinduct (#19) Test compilation of Autoinduct plugin #14: Commit 48e9206 pushed by yforster
July 4, 2023 16:02 10m 51s main
main
July 4, 2023 16:02 10m 51s
CI for autoinduct Test compilation of Autoinduct plugin #13: Pull request #19 opened by yforster
July 4, 2023 11:30 11m 25s CI
CI
July 4, 2023 11:30 11m 25s
use Autoinduct namespace Test compilation of Autoinduct plugin #12: Commit 989998f pushed by yforster
July 4, 2023 11:10 10m 50s CI
CI
July 4, 2023 11:10 10m 50s
use Autoinduct namespace Test compilation of Autoinduct plugin #11: Commit e75d928 pushed by yforster
July 3, 2023 12:50 10m 58s CI
CI
July 3, 2023 12:50 10m 58s
use Autoinduct namespace Test compilation of Autoinduct plugin #10: Commit dd42b7c pushed by yforster
June 30, 2023 16:32 12m 40s CI
CI
June 30, 2023 16:32 12m 40s
use Autoinduct namespace Test compilation of Autoinduct plugin #9: Commit 7f711d6 pushed by yforster
June 30, 2023 13:20 10m 4s CI
CI
June 30, 2023 13:20 10m 4s
CI Test compilation of Autoinduct plugin #8: Commit 804994e pushed by yforster
June 30, 2023 13:02 10m 38s CI
CI
June 30, 2023 13:02 10m 38s
CI Test compilation of Autoinduct plugin #7: Commit a0ace6c pushed by yforster
June 30, 2023 12:24 10m 37s CI
CI
June 30, 2023 12:24 10m 37s
CI Test compilation of Autoinduct plugin #6: Commit 5af76c4 pushed by yforster
June 30, 2023 12:18 5m 31s CI
CI
June 30, 2023 12:18 5m 31s
CI Test compilation of Autoinduct plugin #5: Commit 754df11 pushed by yforster
June 30, 2023 12:18 59s CI
CI
June 30, 2023 12:18 59s
CI Test compilation of Autoinduct plugin #4: Commit e51a771 pushed by yforster
June 30, 2023 12:15 1m 47s CI
CI
June 30, 2023 12:15 1m 47s
CI Test compilation of Autoinduct plugin #3: Commit c2531ea pushed by yforster
June 30, 2023 12:12 2m 25s CI
CI
June 30, 2023 12:12 2m 25s
CI Test compilation of Autoinduct plugin #2: Commit 759803a pushed by yforster
June 30, 2023 11:53 7m 18s CI
CI
June 30, 2023 11:53 7m 18s
CI Test compilation of Autoinduct plugin #1: Commit 2254c48 pushed by yforster
June 30, 2023 11:43 2m 24s CI
CI
June 30, 2023 11:43 2m 24s