Skip to content

Actions: ott-lang/ott

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Output modern HOL4 syntax, fix up builds of HOL4 examples (#114) Docker CI #8: Commit 2ba5ae0 pushed by palmskog
September 21, 2024 14:28 5m 3s master
master
September 21, 2024 14:28 5m 3s
Output modern HOL4 syntax, fix up builds of HOL4 examples Docker CI #7: Pull request #114 synchronize by palmskog
September 21, 2024 13:44 5m 0s trindemossen
trindemossen
September 21, 2024 13:44 5m 0s
Output modern HOL4 syntax, fix up builds of HOL4 examples Docker CI #6: Pull request #114 synchronize by palmskog
September 15, 2024 09:32 5m 4s trindemossen
trindemossen
September 15, 2024 09:32 5m 4s
Output modern HOL4 syntax, fix up builds of HOL4 examples Docker CI #5: Pull request #114 opened by palmskog
September 12, 2024 22:05 5m 10s trindemossen
trindemossen
September 12, 2024 22:05 5m 10s
Merge pull request #113 from ott-lang/docker-ci Docker CI #4: Commit 211c8e7 pushed by palmskog
August 20, 2024 20:28 4m 15s master
master
August 20, 2024 20:28 4m 15s
add basic CI based on official Coq Docker images Docker CI #3: Pull request #113 synchronize by palmskog
August 20, 2024 20:21 4m 18s docker-ci
docker-ci
August 20, 2024 20:21 4m 18s
add basic CI based on official Coq Docker images Docker CI #2: Pull request #113 synchronize by palmskog
August 20, 2024 20:13 4m 16s docker-ci
docker-ci
August 20, 2024 20:13 4m 16s
add basic CI based on official Coq Docker images Docker CI #1: Pull request #113 opened by palmskog
August 20, 2024 19:57 3m 21s docker-ci
docker-ci
August 20, 2024 19:57 3m 21s