Skip to content

Actions: fizruk/free-foil

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
183 workflow runs
183 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generalize patterns for free foil
Haskell (build, test, haddock) #69: Pull request #16 synchronize by fizruk
June 20, 2024 09:20 1m 9s free-foil-patterns
June 20, 2024 09:20 1m 9s
Generalize patterns for free foil
Haskell (build, test, haddock) #68: Pull request #16 synchronize by fizruk
June 20, 2024 09:03 1m 55s free-foil-patterns
June 20, 2024 09:03 1m 55s
Generalize patterns for free foil
Haskell (build, test, haddock) #67: Pull request #16 opened by fizruk
June 20, 2024 08:36 59s free-foil-patterns
June 20, 2024 08:36 59s
pages build and deployment
pages-build-deployment #12: by github-pages bot
June 20, 2024 02:30 45s gh-pages
June 20, 2024 02:30 45s
Apply formatting
Haskell (build, test, haddock) #66: Commit f41ad16 pushed by fizruk
June 20, 2024 02:23 6m 55s main
June 20, 2024 02:23 6m 55s
Add a note about generic higher-order unification in README
Haskell (build, test, haddock) #65: Commit 32fdc31 pushed by fizruk
June 20, 2024 02:06 6m 20s main
June 20, 2024 02:06 6m 20s
pages build and deployment
pages-build-deployment #11: by github-pages bot
June 20, 2024 02:05 49s gh-pages
June 20, 2024 02:05 49s
v0.0.3
Release #2: Release v0.0.3 published by fizruk
June 20, 2024 01:59 1m 7s
June 20, 2024 01:59 1m 7s
Merge branch 'release-v0.0.3'
Haskell (build, test, haddock) #64: Commit ec97b4f pushed by fizruk
June 20, 2024 01:57 5m 44s v0.0.3
June 20, 2024 01:57 5m 44s
Merge branch 'release-v0.0.3'
Haskell (build, test, haddock) #63: Commit ec97b4f pushed by fizruk
June 20, 2024 01:57 7m 22s main
June 20, 2024 01:57 7m 22s
pages build and deployment
pages-build-deployment #10: by github-pages bot
June 20, 2024 01:46 44s gh-pages
June 20, 2024 01:46 44s
Fix lambda-pi links in README
Haskell (build, test, haddock) #62: Commit f62b6ab pushed by fizruk
June 20, 2024 01:42 5m 11s main
June 20, 2024 01:42 5m 11s
Update documentation
Haskell (build, test, haddock) #61: Commit 10a234f pushed by fizruk
June 20, 2024 01:40 5m 50s main
June 20, 2024 01:40 5m 50s
pages build and deployment
pages-build-deployment #9: by github-pages bot
June 20, 2024 01:14 48s gh-pages
June 20, 2024 01:14 48s
Merge pull request #14 from fizruk/free-foil-th
Haskell (build, test, haddock) #60: Commit 7794541 pushed by fizruk
June 20, 2024 01:07 6m 22s main
June 20, 2024 01:07 6m 22s
Generate Free Foil with Template Haskell
Haskell (build, test, haddock) #59: Pull request #14 synchronize by fizruk
June 20, 2024 00:52 5m 26s free-foil-th
June 20, 2024 00:52 5m 26s
Generate Free Foil with Template Haskell
Haskell (build, test, haddock) #58: Pull request #14 synchronize by fizruk
June 20, 2024 00:47 6m 2s free-foil-th
June 20, 2024 00:47 6m 2s
Generate Free Foil with Template Haskell
Haskell (build, test, haddock) #57: Pull request #14 synchronize by fizruk
June 20, 2024 00:17 5m 56s free-foil-th
June 20, 2024 00:17 5m 56s
Generate Free Foil with Template Haskell
Haskell (build, test, haddock) #56: Pull request #14 synchronize by fizruk
June 20, 2024 00:04 1m 10s free-foil-th
June 20, 2024 00:04 1m 10s
Generate Free Foil with Template Haskell
Haskell (build, test, haddock) #55: Pull request #14 synchronize by fizruk
June 19, 2024 23:50 5m 56s free-foil-th
June 19, 2024 23:50 5m 56s
Generate Free Foil with Template Haskell
Haskell (build, test, haddock) #54: Pull request #14 synchronize by fizruk
June 19, 2024 23:16 4m 19s free-foil-th
June 19, 2024 23:16 4m 19s
Generate Free Foil with Template Haskell
Haskell (build, test, haddock) #53: Pull request #14 synchronize by fizruk
June 19, 2024 21:10 4m 17s free-foil-th
June 19, 2024 21:10 4m 17s
Generate Free Foil with Template Haskell
Haskell (build, test, haddock) #52: Pull request #14 synchronize by fizruk
June 19, 2024 20:51 6m 8s free-foil-th
June 19, 2024 20:51 6m 8s
Generate Free Foil with Template Haskell
Haskell (build, test, haddock) #51: Pull request #14 opened by fizruk
June 19, 2024 16:42 4m 52s free-foil-th
June 19, 2024 16:42 4m 52s
pages build and deployment
pages-build-deployment #8: by github-pages bot
June 19, 2024 15:59 51s gh-pages
June 19, 2024 15:59 51s