Skip to content
Idris2 and External Libs

Switch from 'fast' string functions to normal string functions #95

Sign in to view logs

Switch from 'fast' string functions to normal string functions

Switch from 'fast' string functions to normal string functions #95

Triggered via pull request October 19, 2023 19:52
@rvs314rvs314
opened #3111
rvs314:main
Status Success
Total duration 1h 16m 23s
Artifacts 6

ci-idris2-and-libs.yml

on: pull_request
initialise
4s
initialise
quick-check
14m 30s
quick-check
macos-bootstrap-chez
18m 1s
macos-bootstrap-chez
ubuntu-self-host-previous-version
16m 54s
ubuntu-self-host-previous-version
ubuntu-bootstrap-chez
13m 38s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
31m 28s
ubuntu-bootstrap-racket
windows-bootstrap-chez
43m 49s
windows-bootstrap-chez
nix-bootstrap-chez
31m 56s
nix-bootstrap-chez
macos-self-host-chez
31m 14s
macos-self-host-chez
ub-test-collie
46s
ub-test-collie
ub-test-frex
5m 32s
ub-test-frex
ub-test-elab-util
1m 54s
ub-test-elab-util
ub-pack-test-pack
24m 19s
ub-pack-test-pack
ub-pack-test-lsp
29m 8s
ub-pack-test-lsp
ub-test-katla-and-html
9m 37s
ub-test-katla-and-html
ubuntu-self-host-chez
15m 23s
ubuntu-self-host-chez
ubuntu-build-api
10m 0s
ubuntu-build-api
ubuntu-self-host-racket
0s
ubuntu-self-host-racket
windows-self-host-racket
17m 15s
windows-self-host-racket
Fit to window
Zoom out
Zoom in

Annotations

1 warning
windows-self-host-racket
The following actions uses node12 which is deprecated and will be forced to run on node16: Bogdanp/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
idris2-nightly-chez Expired
170 MB
macos-installed-bootstrapped-idris2-chez Expired
122 MB
ubuntu-installed-bootstrapped-idris2-chez Expired
122 MB
ubuntu-installed-bootstrapped-idris2-racket Expired
132 MB
ubuntu-installed-idris2-0.6.0-chez Expired
174 MB
windows-installed-bootstrapped-idris2-chez Expired
122 MB