Skip to content

Actions: spcfox/idris2-pack

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] Minor review comments Lint #77: Commit bc93b95 pushed by spcfox
1m 38s env-var
env-var
1m 38s
[ fix ] Minor review comments Lint #76: Commit 5c87aa1 pushed by spcfox
1m 30s env-var
env-var
1m 30s
[ refactor ] Type-safe handling of environment variables Lint #75: Commit da5a8bc pushed by spcfox
1m 35s env-var
env-var
1m 35s
[ refactor ] Typed environment variables Lint #74: Commit 2a1cee4 pushed by spcfox
1m 34s env-var
env-var
1m 34s
[ new ] Parse short answers Lint #73: Commit 13dc798 pushed by spcfox
1m 33s env-var
env-var
1m 33s
[ doc ] Documentation functions for confirmation Lint #72: Commit ee46b15 pushed by spcfox
1m 28s confirm
confirm
1m 28s
[ refactor ] Add confirmOrAbort Lint #71: Commit 2cfd6ee pushed by spcfox
1m 28s confirm
confirm
1m 28s
[ refactor ] Add confirmOrAbort Lint #70: Commit 551768a pushed by spcfox
1m 37s confirm
confirm
1m 37s
[ refactor ] Add confirmOrAbort Lint #69: Commit cc5a0eb pushed by spcfox
1m 32s confirm
confirm
1m 32s
[ refactor ] Add confirmOrAbort Lint #68: Commit eaf281f pushed by spcfox
1m 23s confirm
confirm
1m 23s
[ refactor ] Add confirmOrAbort Lint #67: Commit eb0b4af pushed by spcfox
1m 32s confirm
confirm
1m 32s
[ refactor ] Typed environment variables Lint #66: Commit 5426dfb pushed by spcfox
1m 34s env-var
env-var
1m 34s
[ micropack ] Update installers Lint #65: Commit 60765de pushed by spcfox
1m 27s bootstrap-stage-3
bootstrap-stage-3
1m 27s
[ fix ] Pass IDRIS2_PREFIX in idris2-exec Lint #64: Commit 72f17ff pushed by spcfox
1m 34s bootstrap-stage-3
bootstrap-stage-3
1m 34s
[ fix ] Pass IDRIS2_PREFIX to bootstrap-install Lint #63: Commit 99457cf pushed by spcfox
1m 30s bootstrap-stage-3
bootstrap-stage-3
1m 30s
[ fix ] Pass PREFIX to idris2-exec Lint #62: Commit f26fd5d pushed by spcfox
1m 27s bootstrap-stage-3
bootstrap-stage-3
1m 27s
[ fix ] Pass PREFIX to idris2-exec Lint #61: Commit 7c4737d pushed by spcfox
1m 34s bootstrap-stage-3
bootstrap-stage-3
1m 34s
[ fix ] Pass IDRIS2_PREFIX to bootstrap-install Lint #60: Commit d185c1b pushed by spcfox
1m 35s bootstrap-stage-3
bootstrap-stage-3
1m 35s
[ fix ] Run bootstrap-install with IDRIS2_PREFIX Lint #59: Commit ff673f8 pushed by spcfox
1m 25s bootstrap-stage-3
bootstrap-stage-3
1m 25s
[ fix ] Pass prefix to idris2-exec Lint #58: Commit c09c20c pushed by spcfox
1m 26s bootstrap-stage-3
bootstrap-stage-3
1m 26s
[ fix ] Fix passing environment variable Lint #57: Commit 1bec77a pushed by spcfox
1m 28s bootstrap-stage-3
bootstrap-stage-3
1m 28s
[ fix ] Fix environment variable transfer Lint #56: Commit ddb24d6 pushed by spcfox
1m 32s bootstrap-stage-3
bootstrap-stage-3
1m 32s
[ fix ] Create directory for bootstrap stage 3 Lint #55: Commit 1c85e2d pushed by spcfox
1m 25s bootstrap-stage-3
bootstrap-stage-3
1m 25s
[ log, tmp ] Log every running command Lint #54: Commit a337f66 pushed by spcfox
1m 27s bootstrap-stage-3
bootstrap-stage-3
1m 27s
[ log, tmp ] Add debugging logs Lint #53: Commit c6fcc5c pushed by spcfox
1m 29s bootstrap-stage-3
bootstrap-stage-3
1m 29s