Skip to content

Actions: coq-community/autosubst

Actions

Docker CI

Actions

Loading...
Loading

Showing runs from all workflows named Docker CI
9 workflow run results
9 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #37 from coq-community/stdlib_repo Docker CI #31: Commit 50dfe57 pushed by proux01
September 17, 2024 15:27 3m 24s master
master
September 17, 2024 15:27 3m 24s
Adapt to https://github.com/coq/coq/pull/19530 Docker CI #30: Pull request #37 opened by proux01
September 17, 2024 09:41 3m 18s stdlib_repo
stdlib_repo
September 17, 2024 09:41 3m 18s
Merge pull request #36 from TheCodingWombat/patch-1 Docker CI #29: Commit 7c66f3b pushed by palmskog
August 20, 2024 16:37 3m 17s master
master
August 20, 2024 16:37 3m 17s
Update manual.tex: Fixed way of importing autosubst Docker CI #28: Pull request #36 opened by TheCodingWombat
August 20, 2024 15:15 16m 34s TheCodingWombat:patch-1
TheCodingWombat:patch-1
August 20, 2024 15:15 16m 34s
Merge pull request #35 from coq-community/fix-deprecations-8.20 Docker CI #27: Commit da515d5 pushed by palmskog
July 12, 2024 19:40 22m 39s master
master
July 12, 2024 19:40 22m 39s
Fix deprecations on 8.19 and 8.20, update CI Docker CI #26: Pull request #35 synchronize by palmskog
July 12, 2024 19:15 23m 17s fix-deprecations-8.20
fix-deprecations-8.20
July 12, 2024 19:15 23m 17s
Fix deprecations on 8.19 and 8.20, update CI Docker CI #25: Pull request #35 opened by palmskog
July 12, 2024 18:51 23m 25s fix-deprecations-8.20
fix-deprecations-8.20
July 12, 2024 18:51 23m 25s
Merge pull request #33 from Villetaneuse/rm_arith_files_coq_819 Docker CI #24: Commit 6ba0acc pushed by RalfJung
October 15, 2023 14:09 3m 51s master
master
October 15, 2023 14:09 3m 51s
Remove deprecated files in Coq.Arith Docker CI #23: Pull request #33 opened by Villetaneuse
October 15, 2023 12:37 3m 55s Villetaneuse:rm_arith_files_coq_819
Villetaneuse:rm_arith_files_coq_819
October 15, 2023 12:37 3m 55s