Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

H

haskell-to-coq-compiler
- Activity
- Members
- Labels
- Releases
- Model registry
- Incidents

Snippets Groups Projects

240cea28

Verified Commit 240cea28 authored 5 years ago by Justin Andresen

Downloads
- Plain Diff

Merge branch 'github'

parents 7a623a7f 6376e0ef

Loading

Changes 2

Hide whitespace changes

Inline Side-by-side

Showing

.github/workflows/main.yml 337 additions, 0 deletions

.github/workflows/main.yml
.gitignore 3 additions, 0 deletions

.gitignore

with 340 additions and 0 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment