Skip to content

Actions: coq-community/reglang

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #609: Scheduled
September 22, 2024 02:33 3m 26s master
master
September 22, 2024 02:33 3m 26s
Docker CI Docker CI #608: Scheduled
September 15, 2024 02:32 3m 21s master
master
September 15, 2024 02:32 3m 21s
Docker CI Docker CI #607: Scheduled
September 8, 2024 02:25 3m 21s master
master
September 8, 2024 02:25 3m 21s
Docker CI Docker CI #606: Scheduled
September 1, 2024 02:34 3m 21s master
master
September 1, 2024 02:34 3m 21s
Docker CI Docker CI #605: Scheduled
August 25, 2024 02:17 3m 19s master
master
August 25, 2024 02:17 3m 19s
Docker CI Docker CI #604: Scheduled
August 18, 2024 02:14 3m 23s master
master
August 18, 2024 02:14 3m 23s
Docker CI Docker CI #603: Scheduled
August 11, 2024 02:16 5m 31s master
master
August 11, 2024 02:16 5m 31s
Docker CI Docker CI #602: Scheduled
August 4, 2024 02:14 3m 24s master
master
August 4, 2024 02:14 3m 24s
Docker CI Docker CI #601: Scheduled
July 28, 2024 02:14 3m 0s master
master
July 28, 2024 02:14 3m 0s
generalize derE to eqType, add mem_der language inclusion check (#74) Docker CI #600: Commit 5c83ad4 pushed by palmskog
July 22, 2024 14:19 3m 18s master
master
July 22, 2024 14:19 3m 18s
generalize derE to eqType, add mem_der language inclusion check Docker CI #599: Pull request #74 opened by palmskog
July 22, 2024 14:08 3m 7s regexp-der-fix
regexp-der-fix
July 22, 2024 14:08 3m 7s
add definition and result about regexp derivatives (#73) Docker CI #598: Commit 8b6b8a3 pushed by palmskog
July 22, 2024 13:29 10m 19s master
master
July 22, 2024 13:29 10m 19s
add definition and result about regexp derivatives Docker CI #597: Pull request #73 synchronize by palmskog
July 22, 2024 11:14 3m 7s re-deriv
re-deriv
July 22, 2024 11:14 3m 7s
add definition and result about regexp derivatives Docker CI #596: Pull request #73 synchronize by palmskog
July 22, 2024 11:00 3m 6s re-deriv
re-deriv
July 22, 2024 11:00 3m 6s
add definition and result about regexp derivatives Docker CI #595: Pull request #73 opened by palmskog
July 22, 2024 10:48 3m 3s re-deriv
re-deriv
July 22, 2024 10:48 3m 3s
Docker CI Docker CI #594: Scheduled
July 21, 2024 02:13 3m 5s master
master
July 21, 2024 02:13 3m 5s
Docker CI Docker CI #593: Scheduled
July 14, 2024 02:16 3m 6s master
master
July 14, 2024 02:16 3m 6s
Docker CI Docker CI #592: Scheduled
July 7, 2024 02:13 25m 46s master
master
July 7, 2024 02:13 25m 46s
Docker CI Docker CI #591: Scheduled
June 30, 2024 02:12 26m 24s master
master
June 30, 2024 02:12 26m 24s
Docker CI Docker CI #590: Scheduled
June 23, 2024 02:10 3m 8s master
master
June 23, 2024 02:10 3m 8s
Docker CI Docker CI #589: Scheduled
June 16, 2024 02:11 6m 54s master
master
June 16, 2024 02:11 6m 54s
Docker CI Docker CI #588: Scheduled
June 9, 2024 02:11 32m 14s master
master
June 9, 2024 02:11 32m 14s
Docker CI Docker CI #587: Scheduled
June 2, 2024 02:08 31m 36s master
master
June 2, 2024 02:08 31m 36s
Docker CI Docker CI #586: Scheduled
May 26, 2024 02:07 3m 16s master
master
May 26, 2024 02:07 3m 16s
Docker CI Docker CI #585: Scheduled
May 19, 2024 02:05 17m 49s master
master
May 19, 2024 02:05 17m 49s