Skip to content

Actions: stefan-hoeck/idris2-pack-db

Actions

Check Collection

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-pr.yml
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ new ] add async-posix library (#195) Check Collection #391: Commit 2765a3f pushed by stefan-hoeck
March 2, 2025 20:03 34m 18s main
main
March 2, 2025 20:03 34m 18s
Add new package decord (#193) Check Collection #390: Commit ffa0799 pushed by stefan-hoeck
March 2, 2025 18:58 33m 14s main
main
March 2, 2025 18:58 33m 14s
Remove spidr (#194) Check Collection #389: Commit 597eb57 pushed by stefan-hoeck
March 2, 2025 18:58 33m 31s main
main
March 2, 2025 18:58 33m 31s
[ new ] add async-posix library Check Collection #388: Pull request #195 opened by stefan-hoeck
March 2, 2025 16:51 33m 48s async_posix
async_posix
March 2, 2025 16:51 33m 48s
[ new ] add async-posix library Check Collection #387: Commit ba4c439 pushed by stefan-hoeck
March 2, 2025 16:51 34m 0s async_posix
async_posix
March 2, 2025 16:51 34m 0s
Remove spidr Check Collection #386: Pull request #194 opened by joelberkeley
March 2, 2025 15:53 33m 4s joelberkeley:patch-1
joelberkeley:patch-1
March 2, 2025 15:53 33m 4s
Add new package decord Check Collection #385: Pull request #193 opened by jcranch
February 25, 2025 19:39 25m 50s jcranch:patch-1
jcranch:patch-1
February 25, 2025 19:39 25m 50s
[ new ] added the elin library (#192) Check Collection #384: Commit 1d04f42 pushed by stefan-hoeck
February 17, 2025 12:54 34m 56s main
main
February 17, 2025 12:54 34m 56s
[ new ] added the elin library Check Collection #383: Pull request #192 opened by stefan-hoeck
February 17, 2025 12:23 25m 53s elin
elin
February 17, 2025 12:23 25m 53s
[ new ] added the elin library Check Collection #382: Commit 9035bc9 pushed by stefan-hoeck
February 17, 2025 12:23 25m 49s elin
elin
February 17, 2025 12:23 25m 49s
Add new package, extrafun (#191) Check Collection #381: Commit bbf231a pushed by buzden
February 1, 2025 15:06 27m 32s main
main
February 1, 2025 15:06 27m 32s
Add new package, extrafun Check Collection #380: Pull request #191 opened by jcranch
February 1, 2025 08:37 27m 4s jcranch:main
jcranch:main
February 1, 2025 08:37 27m 4s
[ split ] Pull weaker-traversals out of summary-stat (#190) Check Collection #379: Commit 96d50f6 pushed by buzden
January 29, 2025 11:09 25m 41s main
main
January 29, 2025 11:09 25m 41s
[ split ] Pull weaker-traversals out of summary-stat Check Collection #378: Pull request #190 opened by buzden
January 29, 2025 10:40 27m 19s buzden:put-weaker-trav-out
buzden:put-weaker-trav-out
January 29, 2025 10:40 27m 19s
Add my theory and control-flow packages (#189) Check Collection #377: Commit e8c1460 pushed by stefan-hoeck
January 28, 2025 05:37 27m 54s main
main
January 28, 2025 05:37 27m 54s
Add my theory and control-flow packages Check Collection #376: Pull request #189 opened by JankaGramofonomanka
January 27, 2025 18:18 26m 20s JankaGramofonomanka:main
JankaGramofonomanka:main
January 27, 2025 18:18 26m 20s
Add deprecation notices to snocvect and fvect packages (#187) Check Collection #375: Commit 07601e3 pushed by stefan-hoeck
January 27, 2025 06:21 27m 16s main
main
January 27, 2025 06:21 27m 16s
Add deprecation notices for fvect and snocvect packages Check Collection #374: Pull request #187 opened by mattpolzin
January 23, 2025 01:29 25m 31s mattpolzin:notices
mattpolzin:notices
January 23, 2025 01:29 25m 31s
Add stellar libraries for containers as API (#171) Check Collection #373: Commit 118a5bb pushed by stefan-hoeck
January 14, 2025 03:40 33m 9s main
main
January 14, 2025 03:40 33m 9s
[ new ] add pipelines library (#185) Check Collection #372: Commit c6e7b95 pushed by buzden
January 13, 2025 19:09 34m 21s main
main
January 13, 2025 19:09 34m 21s
add pipelines library Check Collection #371: Pull request #185 opened by andrevidela
January 13, 2025 18:28 33m 11s andrevidela:pipelines
andrevidela:pipelines
January 13, 2025 18:28 33m 11s
Add stellar libraries for containers as API Check Collection #370: Pull request #171 synchronize by andrevidela
January 13, 2025 18:25 32m 53s andrevidela:add-stellar
andrevidela:add-stellar
January 13, 2025 18:25 32m 53s
add control-spec (#184) Check Collection #369: Commit 08b9d65 pushed by stefan-hoeck
January 11, 2025 06:30 27m 13s main
main
January 11, 2025 06:30 27m 13s
add a package: control-spec Check Collection #368: Pull request #184 opened by dannypsnl
January 10, 2025 07:25 28m 44s dannypsnl:patch-1
dannypsnl:patch-1
January 10, 2025 07:25 28m 44s
[ admin ] move containers to idris-community (#183) Check Collection #367: Commit 2fc9bc7 pushed by stefan-hoeck
January 8, 2025 07:19 27m 28s main
main
January 8, 2025 07:19 27m 28s