Skip to content

Actions: coq-community/coq-mmaps

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
pages build and deployment pages-build-deployment #6: by github-pages bot
June 30, 2024 16:31 29s
June 30, 2024 16:31 29s
Merge pull request #16 from coq-community/deprec-8.20 Build and Deploy coqdoc #27: Commit 2c9fb82 pushed by palmskog
June 30, 2024 16:29 1m 55s master
master
June 30, 2024 16:29 1m 55s
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 Build and Deploy coqdoc #26: Pull request #16 synchronize by palmskog
June 30, 2024 16:26 1m 50s deprec-8.20
deprec-8.20
June 30, 2024 16:26 1m 50s
Fix deprecations and test Coq 8.20 in CI Build and Deploy coqdoc #25: Pull request #16 synchronize by palmskog
June 30, 2024 16:19 1m 52s deprec-8.20
deprec-8.20
June 30, 2024 16:19 1m 52s
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 Build and Deploy coqdoc #24: Pull request #16 opened by palmskog
June 30, 2024 16:15 2m 2s deprec-8.20
deprec-8.20
June 30, 2024 16:15 2m 2s
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
pages build and deployment pages-build-deployment #5: by github-pages bot
January 8, 2024 15:19 30s
January 8, 2024 15:19 30s
Merge pull request #14 from coq-community/fold-add-interface Build and Deploy coqdoc #23: Commit c957004 pushed by palmskog
January 8, 2024 15:17 2m 1s master
master
January 8, 2024 15:17 2m 1s
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 Build and Deploy coqdoc #22: Pull request #14 synchronize by palmskog
January 8, 2024 15:14 1m 45s fold-add-interface
fold-add-interface
January 8, 2024 15:14 1m 45s
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 Build and Deploy coqdoc #21: Pull request #14 synchronize by palmskog
January 8, 2024 15:10 1m 47s fold-add-interface
fold-add-interface
January 8, 2024 15:10 1m 47s
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
add general lemmas relating fold and add Build and Deploy coqdoc #20: Pull request #14 synchronize by palmskog
January 8, 2024 14:53 1m 53s fold-add-interface
fold-add-interface
January 8, 2024 14:53 1m 53s
pages build and deployment pages-build-deployment #4: by github-pages bot
December 15, 2023 08:08 33s
December 15, 2023 08:08 33s
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
Merge pull request #15 from coq-community/readme-update Build and Deploy coqdoc #19: Commit 22862f2 pushed by palmskog
December 15, 2023 08:06 1m 55s master
master
December 15, 2023 08:06 1m 55s
README update Build and Deploy coqdoc #18: Pull request #15 opened by palmskog
December 15, 2023 08:02 1m 48s readme-update
readme-update
December 15, 2023 08:02 1m 48s
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 Build and Deploy coqdoc #17: Pull request #14 synchronize by andrew-appel
December 11, 2023 20:28 1m 45s fold-add-interface
fold-add-interface
December 11, 2023 20:28 1m 45s