Skip to content

Actions: imdea-software/fcsl-pcm

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Preparing fcsl-pcm release v.2.1.0 (#49) Docker CI #74: Commit a0b2563 pushed by aleksnanevski
January 16, 2025 12:34 12m 46s master
master
January 16, 2025 12:34 12m 46s
Preparing fcsl-pcm release v.2.1.0 Docker CI #73: Pull request #49 synchronize by aleksnanevski
January 16, 2025 12:21 12m 26s v2.1.0
v2.1.0
January 16, 2025 12:21 12m 26s
Preparing fcsl-pcm release v.2.1.0 Docker CI #72: Pull request #49 synchronize by aleksnanevski
January 16, 2025 12:20 4m 50s v2.1.0
v2.1.0
January 16, 2025 12:20 4m 50s
Preparing fcsl-pcm release v.2.1.0 Docker CI #71: Pull request #49 synchronize by aleksnanevski
January 15, 2025 16:53 7m 21s v2.1.0
v2.1.0
January 15, 2025 16:53 7m 21s
Preparing fcsl-pcm release v.2.1.0 Docker CI #70: Pull request #49 synchronize by aleksnanevski
January 15, 2025 16:51 4m 52s v2.1.0
v2.1.0
January 15, 2025 16:51 4m 52s
Preparing fcsl-pcm release v.2.1.0 Docker CI #69: Pull request #49 synchronize by aleksnanevski
January 15, 2025 16:06 4m 56s v2.1.0
v2.1.0
January 15, 2025 16:06 4m 56s
Preparing fcsl-pcm release v.2.1.0 Docker CI #68: Pull request #49 synchronize by aleksnanevski
January 15, 2025 14:39 6m 34s v2.1.0
v2.1.0
January 15, 2025 14:39 6m 34s
Preparing fcsl-pcm release v.2.1.0 Docker CI #67: Pull request #49 synchronize by aleksnanevski
January 15, 2025 14:32 6m 30s v2.1.0
v2.1.0
January 15, 2025 14:32 6m 30s
Preparing fcsl-pcm release v.2.1.0 Docker CI #66: Pull request #49 synchronize by aleksnanevski
January 15, 2025 14:22 7m 17s v2.1.0
v2.1.0
January 15, 2025 14:22 7m 17s
Preparing fcsl-pcm release v.2.1.0 Docker CI #65: Pull request #49 synchronize by aleksnanevski
January 15, 2025 14:17 6m 18s v2.1.0
v2.1.0
January 15, 2025 14:17 6m 18s
Preparing fcsl-pcm release v.2.1.0 Docker CI #64: Pull request #49 opened by aleksnanevski
January 15, 2025 14:00 6m 30s v2.1.0
v2.1.0
January 15, 2025 14:00 6m 30s
make dependency on Hierarchy Builder explicit in opam and README.md (… Docker CI #63: Commit 2da486d pushed by aleksnanevski
December 22, 2024 18:31 5m 1s master
master
December 22, 2024 18:31 5m 1s
make dependency on Hierarchy Builder explicit in opam and README.md Docker CI #62: Pull request #48 opened by palmskog
December 22, 2024 18:24 4m 54s palmskog:hb-dep-opam
palmskog:hb-dep-opam
December 22, 2024 18:24 4m 54s
use ssr 2.3 docker image Docker CI #61: Commit 42f4e0e pushed by clayrat
December 18, 2024 10:07 4m 48s master
master
December 18, 2024 10:07 4m 48s
added docker image (#47) Docker CI #60: Commit e7f3929 pushed by aleksnanevski
December 17, 2024 16:38 15m 13s master
master
December 17, 2024 16:38 15m 13s
added docker image to work for ssr 2.3.0 Docker CI #59: Pull request #47 opened by aleksnanevski
December 17, 2024 16:22 15m 18s fix
fix
December 17, 2024 16:22 15m 18s
fixed an HB error by including choice in ordtype.v Docker CI #58: Commit 6235116 pushed by aleksnanevski
December 17, 2024 15:18 4m 19s master
master
December 17, 2024 15:18 4m 19s
import choice in ordtype Docker CI #57: Pull request #46 opened by gares
December 17, 2024 14:57 4m 10s gares:patch-2
gares:patch-2
December 17, 2024 14:57 4m 10s
minor changes Docker CI #56: Commit aefb110 pushed by aleksnanevski
November 1, 2024 14:48 12m 12s master
master
November 1, 2024 14:48 12m 12s
adapt to coq#pr19611 (#45) Docker CI #55: Commit ad2b680 pushed by aleksnanevski
November 1, 2024 14:40 11m 33s master
master
November 1, 2024 14:40 11m 33s
Adapt to coq#pr19611 Docker CI #54: Pull request #45 opened by Tragicus
October 31, 2024 16:15 11m 55s Tragicus:pr19611
Tragicus:pr19611
October 31, 2024 16:15 11m 55s
Fix coqdev compilation (#44) Docker CI #53: Commit 27560ef pushed by aleksnanevski
September 18, 2024 13:43 4m 45s master
master
September 18, 2024 13:43 4m 45s
Fix coqdev compilation Docker CI #52: Pull request #44 opened by clayrat
September 18, 2024 13:21 4m 42s v2.0
v2.0
September 18, 2024 13:21 4m 42s
try 8.20 Docker CI #51: Commit a7c3e04 pushed by clayrat
September 9, 2024 22:08 4m 36s master
master
September 9, 2024 22:08 4m 36s
bump again Docker CI #50: Commit b71371a pushed by clayrat
September 9, 2024 22:01 4m 17s master
master
September 9, 2024 22:01 4m 17s