Skip to content

Actions: FissoreD/coq-elpi

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #702 from SkySkimmer/keep-force
DOC #11: Commit c7fcee1 pushed by FissoreD
October 25, 2024 08:13 12m 5s master
October 25, 2024 08:13 12m 5s
Merge pull request #702 from SkySkimmer/keep-force
CI #11: Commit c7fcee1 pushed by FissoreD
October 25, 2024 08:13 15m 8s master
October 25, 2024 08:13 15m 8s
Merge pull request #702 from SkySkimmer/keep-force
Nix CI for bundle coq-master #4: Commit c7fcee1 pushed by FissoreD
October 25, 2024 08:13 2m 20s master
October 25, 2024 08:13 2m 20s
Merge pull request #702 from SkySkimmer/keep-force
Nix CI for bundle coq-master-min-elpi #2: Commit c7fcee1 pushed by FissoreD
October 25, 2024 08:13 2m 24s master
October 25, 2024 08:13 2m 24s
Merge pull request #702 from SkySkimmer/keep-force
Nix CI for bundle coq-8.20 #1: Commit c7fcee1 pushed by FissoreD
October 25, 2024 08:13 1h 23m 44s master
October 25, 2024 08:13 1h 23m 44s
Merge pull request #680 from proux01/ci_fix
Nix CI for bundle coq-master #3: Commit 2ef66b2 pushed by FissoreD
August 21, 2024 14:48 17m 59s master
August 21, 2024 14:48 17m 59s
Merge pull request #680 from proux01/ci_fix
DOC #10: Commit 2ef66b2 pushed by FissoreD
August 21, 2024 14:48 13m 6s master
August 21, 2024 14:48 13m 6s
Merge pull request #680 from proux01/ci_fix
Nix CI for bundle coq-master-min-elpi #1: Commit 2ef66b2 pushed by FissoreD
August 21, 2024 14:48 17m 57s master
August 21, 2024 14:48 17m 57s
Merge pull request #680 from proux01/ci_fix
Nix CI for bundle coq-8.19 #10: Commit 2ef66b2 pushed by FissoreD
August 21, 2024 14:48 20m 29s master
August 21, 2024 14:48 20m 29s
Merge pull request #680 from proux01/ci_fix
CI #10: Commit 2ef66b2 pushed by FissoreD
August 21, 2024 14:48 15m 59s master
August 21, 2024 14:48 15m 59s
Merge pull request #659 from LPCIC/changelog
Nix CI for bundle coq-master #2: Commit 1931f7b pushed by FissoreD
July 12, 2024 11:09 17m 22s master
July 12, 2024 11:09 17m 22s
Merge pull request #659 from LPCIC/changelog
DOC #9: Commit 1931f7b pushed by FissoreD
July 12, 2024 11:09 14m 9s master
July 12, 2024 11:09 14m 9s
Merge pull request #659 from LPCIC/changelog
CI #9: Commit 1931f7b pushed by FissoreD
July 12, 2024 11:09 13m 20s master
July 12, 2024 11:09 13m 20s
Merge pull request #659 from LPCIC/changelog
Nix CI for bundle coq-8.19 #9: Commit 1931f7b pushed by FissoreD
July 12, 2024 11:09 17m 28s master
July 12, 2024 11:09 17m 28s
Merge pull request #650 from FissoreD/tc-all-in-namespace
Nix CI for bundle coq-8.19 #8: Commit b0c2bc6 pushed by FissoreD
July 11, 2024 12:04 1h 38m 47s master
July 11, 2024 12:04 1h 38m 47s
Merge pull request #650 from FissoreD/tc-all-in-namespace
CI #8: Commit b0c2bc6 pushed by FissoreD
July 11, 2024 12:04 17m 26s master
July 11, 2024 12:04 17m 26s
Merge pull request #650 from FissoreD/tc-all-in-namespace
DOC #8: Commit b0c2bc6 pushed by FissoreD
July 11, 2024 12:04 15m 56s master
July 11, 2024 12:04 15m 56s
Merge pull request #650 from FissoreD/tc-all-in-namespace
Nix CI for bundle coq-master #1: Commit b0c2bc6 pushed by FissoreD
July 11, 2024 12:04 1h 39m 44s master
July 11, 2024 12:04 1h 39m 44s
Coq elpi eta contr rebase
Nix CI for bundle coq-8.19 #7: Pull request #15 synchronize by FissoreD
June 18, 2024 07:53 32s
June 18, 2024 07:53 32s
Coq elpi eta contr rebase
Nix CI for bundle coq-8.19 #6: Pull request #15 opened by FissoreD
June 18, 2024 07:52 29s
June 18, 2024 07:52 29s
Merge branch 'LPCIC:master' into master
Nix CI for bundle coq-8.19 #5: Commit b9208d1 pushed by FissoreD
June 12, 2024 09:15 2h 12m 40s master
June 12, 2024 09:15 2h 12m 40s
Merge branch 'LPCIC:master' into master
DOC #7: Commit b9208d1 pushed by FissoreD
June 12, 2024 09:15 13m 17s master
June 12, 2024 09:15 13m 17s
Merge branch 'LPCIC:master' into master
CI #7: Commit b9208d1 pushed by FissoreD
June 12, 2024 09:15 18m 45s master
June 12, 2024 09:15 18m 45s
Partial evaluation
Nix CI for bundle coq-8.19 #4: Pull request #9 opened by FissoreD
June 5, 2024 15:10 48s
June 5, 2024 15:10 48s
Merge branch 'LPCIC:master' into master
DOC #6: Commit 5c71b2c pushed by FissoreD
February 14, 2024 20:05 12m 14s master
February 14, 2024 20:05 12m 14s