Skip to content

feat: Model Checking with rust #38

feat: Model Checking with rust

feat: Model Checking with rust #38

Triggered via push February 26, 2024 19:36
Status Success
Total duration 1m 36s
Artifacts 1

arch_pkgs.yml

on: push
Matrix: build-packages
changes
6s
changes
publish-to-repo
0s
publish-to-repo
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
changes
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, dorny/paths-filter@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-packages (c)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-packages (c)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-packages (c)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-packages (c)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build-packages (c): entrypoint.sh#L117
arch_pkgs/c/libism-1.1.0-1-x86_64.pkg.tar.zst:libism E: Uncommon license identifiers such as 'MIT' require license files below /usr/share/licenses/libism/ or switching to common license identifiers. Found 0/1 required license files.
build-packages (c): entrypoint.sh#L117
arch_pkgs/c/libism-1.1.0-1-x86_64.pkg.tar.zst:libism E: Dependency glib2 detected and not included (libraries ['usr/lib/libglib-2.0.so.0'] needed in files ['usr/lib/libism.so'])
build-packages (c): entrypoint.sh#L117
arch_pkgs/c/cism-1.1.0-1-x86_64.pkg.tar.zst:cism E: Uncommon license identifiers such as 'MIT' require license files below /usr/share/licenses/cism/ or switching to common license identifiers. Found 0/1 required license files.
build-packages (c): entrypoint.sh#L117
arch_pkgs/c/cism-1.1.0-1-x86_64.pkg.tar.zst:cism W: Referenced library 'libism.so' is an uninstalled dependency (needed in files ['usr/bin/cism'])
build-packages (c): entrypoint.sh#L117
arch_pkgs/c/cism-1.1.0-1-x86_64.pkg.tar.zst:cism W: Dependency included, but may not be needed ('libism')
build-packages (c): entrypoint.sh#L117
arch_pkgs/c/cism-debug-1.1.0-1-x86_64.pkg.tar.zst:cism-debug W: Directory (usr/src/debug/cism/build-1.1.0-cism/src) is empty
build-packages (c): entrypoint.sh#L117
arch_pkgs/c/cism-debug-1.1.0-1-x86_64.pkg.tar.zst:cism-debug W: Directory (usr/src/debug/cism/build-1.1.0-libism/src) is empty

Artifacts

Produced during runtime
Name Size
pkgfiles Expired
16.8 KB