Skip to content

Actions: coq-community/fav-ssr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #24 from coq-community/add-boilerplate Docker CI #3: Commit 4e23c93 pushed by clayrat
September 20, 2024 16:04 4m 3s trunk
trunk
September 20, 2024 16:04 4m 3s
add meta.yml and generate opam file, README.md and CI Docker CI #2: Pull request #24 synchronize by palmskog
September 20, 2024 14:32 4m 8s add-boilerplate
add-boilerplate
September 20, 2024 14:32 4m 8s
add meta.yml and generate opam file, README.md and CI Docker CI #1: Pull request #24 opened by palmskog
September 20, 2024 14:27 4m 10s add-boilerplate
add-boilerplate
September 20, 2024 14:27 4m 10s