Skip to content

Actions: coq-community/mmaps

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #16 from coq-community/deprec-8.20 Docker CI #33: Commit 2c9fb82 pushed by palmskog
June 30, 2024 16:29 2m 28s master
master
June 30, 2024 16:29 2m 28s
Fix deprecations and test Coq 8.20 in CI Docker CI #32: Pull request #16 synchronize by palmskog
June 30, 2024 16:26 2m 22s deprec-8.20
deprec-8.20
June 30, 2024 16:26 2m 22s
Fix deprecations and test Coq 8.20 in CI Docker CI #31: Pull request #16 synchronize by palmskog
June 30, 2024 16:19 3m 18s deprec-8.20
deprec-8.20
June 30, 2024 16:19 3m 18s
Fix deprecations and test Coq 8.20 in CI Docker CI #30: Pull request #16 opened by palmskog
June 30, 2024 16:15 2m 22s deprec-8.20
deprec-8.20
June 30, 2024 16:15 2m 22s
Merge pull request #14 from coq-community/fold-add-interface Docker CI #29: Commit c957004 pushed by palmskog
January 8, 2024 15:17 2m 18s master
master
January 8, 2024 15:17 2m 18s
add general lemmas relating fold and add Docker CI #28: Pull request #14 synchronize by palmskog
January 8, 2024 15:14 2m 21s fold-add-interface
fold-add-interface
January 8, 2024 15:14 2m 21s
add general lemmas relating fold and add Docker CI #27: Pull request #14 synchronize by palmskog
January 8, 2024 15:10 2m 33s fold-add-interface
fold-add-interface
January 8, 2024 15:10 2m 33s
add general lemmas relating fold and add Docker CI #26: Pull request #14 synchronize by palmskog
January 8, 2024 14:53 2m 20s fold-add-interface
fold-add-interface
January 8, 2024 14:53 2m 20s
Merge pull request #15 from coq-community/readme-update Docker CI #25: Commit 22862f2 pushed by palmskog
December 15, 2023 08:06 2m 28s master
master
December 15, 2023 08:06 2m 28s
README update Docker CI #24: Pull request #15 opened by palmskog
December 15, 2023 08:02 2m 24s readme-update
readme-update
December 15, 2023 08:02 2m 24s
add general lemmas relating fold and add Docker CI #23: Pull request #14 synchronize by andrew-appel
December 11, 2023 20:28 2m 22s fold-add-interface
fold-add-interface
December 11, 2023 20:28 2m 22s
add general lemmas relating fold and add Docker CI #22: Pull request #14 opened by palmskog
November 10, 2023 14:26 2m 40s fold-add-interface
fold-add-interface
November 10, 2023 14:26 2m 40s
add proof of relate_fold_add Docker CI #21: Pull request #13 synchronize by palmskog
November 8, 2023 23:24 2m 46s relate-fold-add
relate-fold-add
November 8, 2023 23:24 2m 46s
add proof of relate_fold_add Docker CI #20: Pull request #13 synchronize by palmskog
November 6, 2023 21:49 3m 28s relate-fold-add
relate-fold-add
November 6, 2023 21:49 3m 28s
add proof of relate_fold_add Docker CI #19: Pull request #13 synchronize by palmskog
November 6, 2023 17:30 3m 11s relate-fold-add
relate-fold-add
November 6, 2023 17:30 3m 11s
add proof of relate_fold_add Docker CI #18: Pull request #13 opened by palmskog
November 6, 2023 13:41 3m 33s relate-fold-add
relate-fold-add
November 6, 2023 13:41 3m 33s