Skip to content

Actions: jespercockx/scope

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

agda2hs build fixes CI #26: Commit 46cb2ca pushed by liesnikov
January 7, 2025 12:32 2m 56s master
master
January 7, 2025 12:32 2m 56s
Add cut function CI #25: Commit f8da11b pushed by jespercockx
December 21, 2024 15:40 2m 36s master
master
December 21, 2024 15:40 2m 36s
Use de Bruijn indices for In CI #24: Commit 50ea970 pushed by jespercockx
December 21, 2024 15:39 2m 18s master
master
December 21, 2024 15:39 2m 18s
Cut CI #23: Pull request #12 opened by EwenBC
December 19, 2024 16:09 2m 31s EwenBC:cut
EwenBC:cut
December 19, 2024 16:09 2m 31s
inScope CI #22: Pull request #11 synchronize by EwenBC
December 19, 2024 16:01 2m 38s EwenBC:master
EwenBC:master
December 19, 2024 16:01 2m 38s
inScope CI #21: Pull request #11 synchronize by EwenBC
December 19, 2024 13:43 1m 28s EwenBC:master
EwenBC:master
December 19, 2024 13:43 1m 28s
inScope CI #20: Pull request #11 opened by EwenBC
December 19, 2024 12:27 2m 32s EwenBC:master
EwenBC:master
December 19, 2024 12:27 2m 32s
update CI actions to get rid of deprecation warnings CI #19: Commit 7ce4992 pushed by liesnikov
September 26, 2024 09:01 2m 35s master
master
September 26, 2024 09:01 2m 35s
Fix builds on CI CI #18: Pull request #10 opened by liesnikov
September 26, 2024 08:45 1m 53s liesnikov:master
liesnikov:master
September 26, 2024 08:45 1m 53s
remove the jailbreak from agda2hs CI #17: Commit de82adc pushed by jespercockx
September 24, 2024 15:40 2m 1s master
master
September 24, 2024 15:40 2m 1s
remove the jailbreak from agda2hs CI #16: Pull request #9 opened by liesnikov
September 24, 2024 15:37 1m 59s liesnikov:master
liesnikov:master
September 24, 2024 15:37 1m 59s
Mark some definitions as inlined for agda2hs CI #15: Commit c0542fa pushed by jespercockx
September 24, 2024 13:44 1m 41s master
master
September 24, 2024 13:44 1m 41s
flake.lock: Update CI #14: Commit b349dfe pushed by jespercockx
September 24, 2024 13:42 1m 58s master
master
September 24, 2024 13:42 1m 58s
Update all dependencies in flake.lock Update all dependencies in flake.lock #4: Manually run by jespercockx
September 24, 2024 13:40 48s master
master
September 24, 2024 13:40 48s
Update all dependencies in flake.lock Update all dependencies in flake.lock #3: Manually run by jespercockx
September 24, 2024 13:36 50s master
master
September 24, 2024 13:36 50s
fix unfolding CI #13: Commit c0a1f41 pushed by jespercockx
July 27, 2024 18:20 41s master
master
July 27, 2024 18:20 41s
add missing opaque definitions to the unfolding CI #12: Pull request #6 opened by liesnikov
July 26, 2024 16:02 44s aplas-24-review
aplas-24-review
July 26, 2024 16:02 44s
fix unfolding CI #11: Commit 72486ca pushed by liesnikov
July 26, 2024 15:51 1m 23s aplas-24-review
aplas-24-review
July 26, 2024 15:51 1m 23s
Update all dependencies in flake.lock Update all dependencies in flake.lock #2: Manually run by jespercockx
July 24, 2024 07:38 21s master
master
July 24, 2024 07:38 21s
Update flake.lock CI #10: Commit e46a72d pushed by jespercockx
July 24, 2024 07:35 47s master
master
July 24, 2024 07:35 47s
Update all dependencies in flake.lock Update all dependencies in flake.lock #1: Manually run by jespercockx
July 24, 2024 07:34 21s master
master
July 24, 2024 07:34 21s
Adapt to https://github.com/agda/agda2hs/pull/343 CI #9: Commit 7bed393 pushed by jespercockx
July 23, 2024 16:03 2m 0s master
master
July 23, 2024 16:03 2m 0s
don't forget agda2hs pragmas CI #8: Commit 48dc91d pushed by liesnikov
April 17, 2024 10:24 1m 24s master
master
April 17, 2024 10:24 1m 24s
add a ci workflow to update inputs CI #7: Commit c03cb68 pushed by liesnikov
April 15, 2024 18:01 1m 20s master
master
April 15, 2024 18:01 1m 20s
move back to upstream agda2hs since the flake pr got merged CI #6: Commit b053cac pushed by liesnikov
April 15, 2024 17:54 2m 45s master
master
April 15, 2024 17:54 2m 45s