Skip to content

Actions: formal-land/coq-of-hs-experiment

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

Merge pull request #2 from formal-land/guillaume-claret@fill-README coq-of-hs CI #7: Commit 412be3e pushed by clarus
February 14, 2024 13:56 2m 18s main
main
February 14, 2024 13:56 2m 18s
doc: fill README coq-of-hs CI #6: Pull request #2 synchronize by clarus
February 14, 2024 13:56 2m 2s guillaume-claret@fill-README
guillaume-claret@fill-README
February 14, 2024 13:56 2m 2s
doc: fill README coq-of-hs CI #5: Pull request #2 synchronize by clarus
February 14, 2024 13:53 2m 18s guillaume-claret@fill-README
guillaume-claret@fill-README
February 14, 2024 13:53 2m 18s
doc: fill README coq-of-hs CI #4: Pull request #2 synchronize by clarus
February 14, 2024 13:36 2m 8s guillaume-claret@fill-README
guillaume-claret@fill-README
February 14, 2024 13:36 2m 8s
doc: fill README coq-of-hs CI #3: Pull request #2 opened by clarus
February 14, 2024 13:34 2m 8s guillaume-claret@fill-README
guillaume-claret@fill-README
February 14, 2024 13:34 2m 8s
Merge pull request #1 from formal-land/guillaume-claret@init-repository coq-of-hs CI #2: Commit fbbf686 pushed by clarus
February 14, 2024 13:00 2m 9s main
main
February 14, 2024 13:00 2m 9s
feat: init the project with a simple example coq-of-hs CI #1: Pull request #1 opened by clarus
February 14, 2024 12:50 2m 21s guillaume-claret@init-repository
guillaume-claret@init-repository
February 14, 2024 12:50 2m 21s