Skip to content

Actions: buzden/deptycheck

Actions

DepTyCheck

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-deptycheck.yml
1,005 workflow runs
1,005 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

DepTyCheck DepTyCheck #1667: Scheduled
October 31, 2024 02:15 21m 9s master
master
October 31, 2024 02:15 21m 9s
DepTyCheck DepTyCheck #1666: Scheduled
October 30, 2024 02:14 20m 5s master
master
October 30, 2024 02:14 20m 5s
DepTyCheck DepTyCheck #1665: Scheduled
October 29, 2024 02:15 20m 22s master
master
October 29, 2024 02:15 20m 22s
Idris2 pretty printer initial support DepTyCheck #1664: Pull request #208 opened by GlebChili
October 28, 2024 13:58 25m 11s GlebChili:idris2-pretty-printer
GlebChili:idris2-pretty-printer
October 28, 2024 13:58 25m 11s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1663: Pull request #183 synchronize by buzden
October 28, 2024 11:48 6h 12m 57s multistage-ordering-algorithm
multistage-ordering-algorithm
October 28, 2024 11:48 6h 12m 57s
DepTyCheck DepTyCheck #1662: Scheduled
October 28, 2024 02:18 24m 25s master
master
October 28, 2024 02:18 24m 25s
DepTyCheck DepTyCheck #1661: Scheduled
October 27, 2024 02:19 21m 41s master
master
October 27, 2024 02:19 21m 41s
DepTyCheck DepTyCheck #1660: Scheduled
October 26, 2024 02:10 21m 5s master
master
October 26, 2024 02:10 21m 5s
[ example ] Add Lua5.4 pretty printer to pil-fun DepTyCheck #1659: Commit 426cd8e pushed by buzden
October 25, 2024 16:45 27m 57s master
master
October 25, 2024 16:45 27m 57s
[ example ] Lua5.4 pretty printer DepTyCheck #1658: Pull request #207 synchronize by lavrentievms
October 25, 2024 15:55 7m 19s lavrentievms:pilfun2lua
lavrentievms:pilfun2lua
October 25, 2024 15:55 7m 19s
DepTyCheck DepTyCheck #1657: Scheduled
October 25, 2024 02:14 19m 43s master
master
October 25, 2024 02:14 19m 43s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1656: Pull request #183 synchronize by buzden
October 24, 2024 16:20 6h 8m 48s multistage-ordering-algorithm
multistage-ordering-algorithm
October 24, 2024 16:20 6h 8m 48s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1655: Pull request #183 synchronize by buzden
October 24, 2024 07:30 6h 8m 4s multistage-ordering-algorithm
multistage-ordering-algorithm
October 24, 2024 07:30 6h 8m 4s
DepTyCheck DepTyCheck #1654: Scheduled
October 24, 2024 02:13 6m 43s master
master
October 24, 2024 02:13 6m 43s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1653: Pull request #183 synchronize by buzden
October 23, 2024 16:56 6h 4m 14s multistage-ordering-algorithm
multistage-ordering-algorithm
October 23, 2024 16:56 6h 4m 14s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1652: Pull request #183 synchronize by buzden
October 23, 2024 15:16 1h 40m 2s multistage-ordering-algorithm
multistage-ordering-algorithm
October 23, 2024 15:16 1h 40m 2s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1651: Pull request #183 synchronize by buzden
October 23, 2024 12:03 3h 13m 44s multistage-ordering-algorithm
multistage-ordering-algorithm
October 23, 2024 12:03 3h 13m 44s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1650: Pull request #183 synchronize by buzden
October 23, 2024 11:24 39m 19s multistage-ordering-algorithm
multistage-ordering-algorithm
October 23, 2024 11:24 39m 19s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1649: Pull request #183 synchronize by buzden
October 23, 2024 07:48 3h 35m 59s multistage-ordering-algorithm
multistage-ordering-algorithm
October 23, 2024 07:48 3h 35m 59s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1648: Pull request #183 synchronize by buzden
October 23, 2024 07:47 44s multistage-ordering-algorithm
multistage-ordering-algorithm
October 23, 2024 07:47 44s
DepTyCheck DepTyCheck #1647: Scheduled
October 23, 2024 02:13 20m 46s master
master
October 23, 2024 02:13 20m 46s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1646: Pull request #183 synchronize by buzden
October 22, 2024 15:17 6h 9m 4s multistage-ordering-algorithm
multistage-ordering-algorithm
October 22, 2024 15:17 6h 9m 4s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1645: Pull request #183 synchronize by buzden
October 22, 2024 14:50 27m 9s multistage-ordering-algorithm
multistage-ordering-algorithm
October 22, 2024 14:50 27m 9s
[ derive ] Impement multi-stage algorithm for calculation of ordering DepTyCheck #1644: Pull request #183 synchronize by buzden
October 22, 2024 14:47 2m 50s multistage-ordering-algorithm
multistage-ordering-algorithm
October 22, 2024 14:47 2m 50s
[ example ] Lua5.4 pretty printer DepTyCheck #1643: Pull request #207 synchronize by lavrentievms
October 22, 2024 13:45 32m 51s lavrentievms:pilfun2lua
lavrentievms:pilfun2lua
October 22, 2024 13:45 32m 51s