Skip to content

Actions: ndmitchell/hoogle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci ci #450: Scheduled
24m 39s master
master
24m 39s
ci ci #449: Scheduled
6m 31s master
master
6m 31s
Point frege generation to GitHub sources instead of defunct try.frege… ci #448: Commit 992caab pushed by Bodigrim
12m 38s master
master
12m 38s
Write database to a temporary file, then rename ci #447: Commit ae6d1bc pushed by Bodigrim
15m 31s master
master
15m 31s
Fix #288: allow mixing --local with and without paths when generating ci #446: Pull request #438 synchronize by davidaf3
13m 52s davidaf3:master
davidaf3:master
13m 52s
Write database to a temporary file, then rename, so that hitting Ctrl+C does not leave you with a corrupted database. ci #445: Pull request #465 opened by Bodigrim
10m 30s Bodigrim:atomic-write
Bodigrim:atomic-write
10m 30s
Point Frege generation to GitHub sources instead of defunct try.frege-lang.org ci #444: Pull request #464 opened by Bodigrim
6m 20s Bodigrim:frege
Bodigrim:frege
6m 20s
Bump version to 5.0.19.0 ci #443: Commit 0f7436b pushed by Bodigrim
10m 17s master
master
10m 17s
ci ci #442: Scheduled
7m 35s master
master
7m 35s
Bump version to 5.0.19.0 ci #441: Pull request #463 opened by Bodigrim
8m 36s Bodigrim:bump-version-to-5.0.19
Bodigrim:bump-version-to-5.0.19
8m 36s
Action/Generate: Add relocatable option ci #440: Pull request #449 synchronize by fgaz-scrive
11m 23s scrive:relocatable
scrive:relocatable
11m 23s
Action/Generate: Add relocatable option ci #439: Pull request #449 synchronize by fgaz-scrive
Action required scrive:relocatable
scrive:relocatable
Action required
Action/Generate: Add relocatable option ci #438: Pull request #449 synchronize by fgaz-scrive
Action required scrive:relocatable
scrive:relocatable
Action required
ParseDecl: try parsing without StarIsType ci #437: Commit f759a0d pushed by Bodigrim
8m 57s master
master
8m 57s
Assorted tweaks and fixes ci #436: Pull request #461 synchronize by Bodigrim
6m 34s Bodigrim:further
Bodigrim:further
6m 34s
feat(CLI): use --count when --info is passed ci #435: Commit 6ca7464 pushed by Bodigrim
8m 9s master
master
8m 9s
Fix #429 use --count when --info is passed ci #434: Pull request #462 synchronize by head-gardener
11m 29s head-gardener:infocount
head-gardener:infocount
11m 29s
feat: colorized search output ci #433: Commit e8774e2 pushed by Bodigrim
10m 23s master
master
10m 23s
Fix #429 use --count when --info is passed ci #432: Pull request #462 opened by head-gardener
8m 37s head-gardener:infocount
head-gardener:infocount
8m 37s
Search output colorizer ci #431: Pull request #417 synchronize by head-gardener
8m 51s head-gardener:master
head-gardener:master
8m 51s
Assorted tweaks and fixes ci #430: Pull request #461 synchronize by Bodigrim
7m 45s Bodigrim:further
Bodigrim:further
7m 45s
Assorted tweaks and fixes ci #429: Pull request #461 opened by Bodigrim
7m 40s Bodigrim:further
Bodigrim:further
7m 40s
ci ci #428: Scheduled
9m 30s master
master
9m 30s
Fix parsing of licenses in Cabal files ci #427: Commit 7ad8804 pushed by Bodigrim
13m 22s master
master
13m 22s
Fix various issues with parsing of Cabal files ci #426: Pull request #459 synchronize by Bodigrim
8m 25s Bodigrim:fix-cabal-parsing
Bodigrim:fix-cabal-parsing
8m 25s