Skip to content

Actions: coq-community/fav-ssr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

consistently require-import all_ssreflect instead of pieces of it Docker CI #7: Pull request #27 opened by palmskog
November 17, 2024 20:09 16m 23s require-ssreflect
require-ssreflect
November 17, 2024 20:09 16m 23s
Merge pull request #26 from ablearthy/coq20 Docker CI #6: Commit 9b2874b pushed by clayrat
November 14, 2024 16:22 16m 23s trunk
trunk
November 14, 2024 16:22 16m 23s
Support Coq 8.20 Docker CI #5: Pull request #26 synchronize by ablearthy
October 18, 2024 20:13 4m 8s ablearthy:coq20
ablearthy:coq20
October 18, 2024 20:13 4m 8s
Support Coq 8.20 Docker CI #4: Pull request #26 opened by ablearthy
October 17, 2024 17:49 4m 20s ablearthy:coq20
ablearthy:coq20
October 17, 2024 17:49 4m 20s
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