Skip to content

Informaticup Documentation Pull Request #58

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 165 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
165 commits
Select commit Hold shift + click to select a range
2442e01
Add Metadata Files
richilino Mar 27, 2025
f994ff8
docs: convert license to md
richilino Mar 27, 2025
23ed012
Create scorecard.yml
richilino Mar 27, 2025
ee181f5
docs: add scorecard badge
richilino Mar 27, 2025
54bbdc2
Merge pull request #17 from CaptainUnbrauchbar/add_ossf_scorecard
richilino Mar 27, 2025
69f0b6e
chore: :arrow_up: removed unused deps, updated the rest
CaptainUnbrauchbar Mar 27, 2025
ab1e125
Merge pull request #18 from CaptainUnbrauchbar/dep-update
CaptainUnbrauchbar Mar 27, 2025
e330a7d
ci: :construction_worker: Add Semgrep SAST
CaptainUnbrauchbar Mar 27, 2025
7cfc3b2
ci: branch name fix
CaptainUnbrauchbar Mar 27, 2025
355e655
Merge pull request #19 from CaptainUnbrauchbar/sast-deploy
CaptainUnbrauchbar Mar 27, 2025
042315e
ci: Update semgrep.yml
richilino Mar 27, 2025
dfb51c3
Remove Deployment ID
richilino Mar 27, 2025
b6833d3
Use Semgrep Action that Uploads to GitHub
richilino Mar 27, 2025
691ab25
Use Correct Version for GitHub Security Upload
richilino Mar 27, 2025
42b4856
Merge pull request #20 from CaptainUnbrauchbar/semgrep-config-fix
richilino Mar 27, 2025
e0a2563
Fix Branch Name
richilino Mar 27, 2025
b46280e
Merge branch 'informaticup' into semgrep-config-fix
richilino Mar 27, 2025
ffd998c
Merge pull request #21 from CaptainUnbrauchbar/semgrep-config-fix
richilino Mar 27, 2025
df699fe
ci: try to fix sast error
richilino Mar 27, 2025
ea0087f
Merge branch 'informaticup' into semgrep-config-fix
richilino Mar 27, 2025
b7bdf16
Merge pull request #22 from CaptainUnbrauchbar/semgrep-config-fix
richilino Mar 27, 2025
58b730c
ci: :construction_worker: pin dependecies in workflow + dependency re…
richilino Mar 29, 2025
7b771f8
ci: :construction_worker: harden github runners for workflows
richilino Mar 29, 2025
33b62c0
feat: replaced clingo binaries with wasm clingo
CaptainUnbrauchbar Mar 29, 2025
077ecec
feat: :sparkles: first webview iteration
CaptainUnbrauchbar Mar 30, 2025
8cde5e0
feat: :sparkles: added more features to webview
CaptainUnbrauchbar Mar 30, 2025
835a900
feat: :sparkles: finalized initial webpanel view
CaptainUnbrauchbar Mar 30, 2025
786ed32
Merge pull request #23 from CaptainUnbrauchbar/webpanel-view
CaptainUnbrauchbar Mar 30, 2025
2e0b3da
fix: :lock: improved semgrep findings
CaptainUnbrauchbar Mar 30, 2025
271c732
feat: :sparkles: Added clingo running indicator and code to remove co…
CaptainUnbrauchbar Mar 31, 2025
f47ba48
ci: :construction_worker: added ci workflow
richilino Mar 31, 2025
67264d9
ci: :construction_worker: updated upload artifact workflow
richilino Mar 31, 2025
4520c6c
ci: :construction_worker: set retention days for CI CSIX to 5 days to…
richilino Mar 31, 2025
1ff8d66
refactor: :recycle: remove dead code, ran prettifier
richilino Mar 31, 2025
e16179c
Merge branch 'informaticup' into wasm-clingo-integration
CaptainUnbrauchbar Apr 1, 2025
4d1ed6f
feat: :sparkles: added progress indicator and option to cancel proces…
CaptainUnbrauchbar Apr 1, 2025
7c4e797
Merge pull request #24 from CaptainUnbrauchbar/wasm-clingo-integration
CaptainUnbrauchbar Apr 1, 2025
726161e
moved source code to src folder
CaptainUnbrauchbar Apr 1, 2025
d19f394
fixed file naming
CaptainUnbrauchbar Apr 1, 2025
fb35fc8
style: Rename WebviewProvider.js to webviewProvider.js
richilino Apr 1, 2025
22652b1
Update README.md
CaptainUnbrauchbar Apr 1, 2025
cd65881
Update README.md
CaptainUnbrauchbar Apr 1, 2025
3ef3376
Update README.md
CaptainUnbrauchbar Apr 1, 2025
6cd093d
Update README.md
CaptainUnbrauchbar Apr 1, 2025
ba8fb18
ran prettier to format code
CaptainUnbrauchbar Apr 2, 2025
6e9a182
removed unnecessary files
CaptainUnbrauchbar Apr 2, 2025
28dd0c3
test: :white_check_mark: added basic integration and unit tests
CaptainUnbrauchbar Apr 2, 2025
9f790c0
test: :white_check_mark: Added some more unit tests for the extension…
CaptainUnbrauchbar Apr 5, 2025
d86fba2
fix: :lock: fixed semgrep path traversal findings
CaptainUnbrauchbar Apr 5, 2025
e5a19b0
Merge pull request #25 from CaptainUnbrauchbar/code-reorganization
CaptainUnbrauchbar Apr 5, 2025
b40c0af
ci: :construction worker: add test to npm
richilino Apr 5, 2025
4496ab6
ci: :construction_worker: preparations for ci pipeline
CaptainUnbrauchbar Apr 5, 2025
cd3cd69
Merge pull request #26 from CaptainUnbrauchbar/code-reorganization
CaptainUnbrauchbar Apr 5, 2025
ab3aab9
Merge branch 'informaticup' into repository-security
richilino Apr 5, 2025
d4dec2f
Merge pull request #27 from CaptainUnbrauchbar/repository-security
richilino Apr 5, 2025
48aadb2
docs: :memo: added badges for branch status and started open-ssf best…
CaptainUnbrauchbar Apr 5, 2025
2a5a706
ci: :green_heart: added e2e tests to ci pipeline
CaptainUnbrauchbar Apr 5, 2025
9053dbd
ci: :green_heart: e2e tests not working in ci 😔
CaptainUnbrauchbar Apr 5, 2025
b578ca2
Merge pull request #31 from CaptainUnbrauchbar/readme-and-other-changes
CaptainUnbrauchbar Apr 5, 2025
7844766
Update README.md
CaptainUnbrauchbar Apr 6, 2025
b06a41b
ci: :construction_worker: bump the github-actions group across 1 dire…
dependabot[bot] Apr 7, 2025
ac83497
Update README.md
CaptainUnbrauchbar Apr 8, 2025
00eef16
Merge pull request #33 from CaptainUnbrauchbar/informaticup
CaptainUnbrauchbar Apr 8, 2025
6b7dd50
refactor: :recycle: major cleanup and refactoring work
CaptainUnbrauchbar Apr 8, 2025
9a4d7db
refactor: :recycle: removed unused dev dependencies
CaptainUnbrauchbar Apr 8, 2025
97f57bd
Merge pull request #34 from CaptainUnbrauchbar/readme-and-other-changes
richilino Apr 8, 2025
20dab55
ci: :arrow-up: bump clingo-wasm from 0.2.1 to 0.3.1
dependabot[bot] Apr 5, 2025
ebcfe96
Merge branch 'informaticup' into dependabot/github_actions/github-act…
richilino Apr 10, 2025
ec2ccd5
Merge pull request #32 from CaptainUnbrauchbar/dependabot/github_acti…
richilino Apr 10, 2025
db010a6
Update README.md
CaptainUnbrauchbar Apr 10, 2025
67dfecc
Update README.md
CaptainUnbrauchbar Apr 10, 2025
315d88d
ci: :construction_worker: added vscode marketplace release pipeline
CaptainUnbrauchbar Apr 10, 2025
4aabaaa
docs: :memo: removed svgs from readme
CaptainUnbrauchbar Apr 10, 2025
ab155df
Merge branch 'informaticup' into readme-and-other-changes
CaptainUnbrauchbar Apr 10, 2025
c19e70e
Merge pull request #35 from CaptainUnbrauchbar/readme-and-other-changes
CaptainUnbrauchbar Apr 10, 2025
f7d7d96
ci: :green_heart: fix release ci
CaptainUnbrauchbar Apr 10, 2025
c4a8649
Merge branch 'informaticup' into readme-and-other-changes
CaptainUnbrauchbar Apr 10, 2025
429b3cd
Merge pull request #36 from CaptainUnbrauchbar/readme-and-other-changes
CaptainUnbrauchbar Apr 10, 2025
e287613
ci: :green_heart: fix vscode engine for ci release pipeline
CaptainUnbrauchbar Apr 10, 2025
adde9fc
Merge branch 'readme-and-other-changes' of https://github.com/Captain…
CaptainUnbrauchbar Apr 10, 2025
1cee97c
Merge branch 'informaticup' into readme-and-other-changes
CaptainUnbrauchbar Apr 10, 2025
10a6c19
Merge pull request #37 from CaptainUnbrauchbar/readme-and-other-changes
CaptainUnbrauchbar Apr 10, 2025
c64afff
ci: :green_heart: tag tag tag
CaptainUnbrauchbar Apr 10, 2025
5bddb26
Merge pull request #38 from CaptainUnbrauchbar/readme-and-other-changes
CaptainUnbrauchbar Apr 10, 2025
fa96987
ci: :green_heart: fix ci permissions
CaptainUnbrauchbar Apr 10, 2025
10348b2
ci: :construction_worker: bump the github-actions group across 1 dire…
dependabot[bot] Apr 21, 2025
a56234c
ci: :arrow-up: bump clingo-wasm from 0.3.1 to 0.3.2
dependabot[bot] Apr 28, 2025
8d2d763
Merge branch 'informaticup' into readme-and-other-changes
richilino Apr 28, 2025
e9dd1d1
Merge pull request #39 from CaptainUnbrauchbar/readme-and-other-changes
richilino Apr 28, 2025
99f7047
Merge branch 'informaticup' into dependabot/npm_and_yarn/clingo-wasm-…
richilino Apr 28, 2025
1daca76
Merge pull request #45 from CaptainUnbrauchbar/dependabot/npm_and_yar…
richilino Apr 28, 2025
6f8d13c
Update marketplace_release.yml
CaptainUnbrauchbar Apr 28, 2025
111e152
Update marketplace_release.yml
CaptainUnbrauchbar Apr 28, 2025
448d9a2
ci: 💚 fix ci permissions again
CaptainUnbrauchbar Apr 28, 2025
3c921ca
Merge pull request #46 from CaptainUnbrauchbar/ci-perms
richilino Apr 28, 2025
5e43a1f
Merge branch 'informaticup' into dependabot/github_actions/github-act…
richilino Apr 28, 2025
c166dbe
Merge pull request #43 from CaptainUnbrauchbar/dependabot/github_acti…
richilino Apr 28, 2025
400ed12
docs: :bookmark: uodated changelog, stable 1.0.0 release to marketplace
CaptainUnbrauchbar Apr 28, 2025
c85f933
Merge branch 'informaticup' into release
richilino Apr 28, 2025
c04cab2
style: :dizzy: added usage gif
CaptainUnbrauchbar Apr 28, 2025
7d31d6b
style: :dizzy: updated gif link
CaptainUnbrauchbar Apr 28, 2025
e3ccf8b
Merge pull request #47 from CaptainUnbrauchbar/release
CaptainUnbrauchbar Apr 28, 2025
4c8a36d
build: :green_heart: new release to marketplace
CaptainUnbrauchbar Apr 28, 2025
ac696fd
Merge branch 'informaticup' into release
richilino Apr 28, 2025
5ca7d07
Merge pull request #48 from CaptainUnbrauchbar/release
CaptainUnbrauchbar Apr 28, 2025
72b4eee
fix: :bug: show ASP tab on command execution (QoL)
CaptainUnbrauchbar Apr 30, 2025
ac7921a
Merge branch 'informaticup' into release
CaptainUnbrauchbar Apr 30, 2025
34f2fe3
fix: :bug: adjusted buttons and fixed webview output
CaptainUnbrauchbar Apr 30, 2025
2740f8c
fix: :bug: fixed demo-gif
CaptainUnbrauchbar Apr 30, 2025
52a58cd
added new gif to readme
CaptainUnbrauchbar Apr 30, 2025
f4051c0
cropped customization-gif
CaptainUnbrauchbar Apr 30, 2025
618e747
bump marketplace version number
CaptainUnbrauchbar Apr 30, 2025
c159f33
Merge pull request #49 from CaptainUnbrauchbar/release
CaptainUnbrauchbar May 2, 2025
306e888
readme gif fix
CaptainUnbrauchbar May 2, 2025
2240ca8
bump version number
CaptainUnbrauchbar May 2, 2025
07de85c
Update CHANGELOG.md
CaptainUnbrauchbar May 2, 2025
4f40c4d
docs: :memo: added contributing and testing policy, cleaned vscode se…
CaptainUnbrauchbar May 2, 2025
09922f2
Merge branch 'release' of https://github.com/CaptainUnbrauchbar/asp-l…
CaptainUnbrauchbar May 2, 2025
fe570f5
prettier (hehe)
CaptainUnbrauchbar May 3, 2025
14b1ade
ci: :construction_worker: bump the github-actions group with 2 updates
dependabot[bot] May 5, 2025
ff9d04b
Merge pull request #50 from CaptainUnbrauchbar/release
CaptainUnbrauchbar May 5, 2025
2f5b03a
Merge branch 'informaticup' into dependabot/github_actions/github-act…
CaptainUnbrauchbar May 5, 2025
5606a01
Merge pull request #51 from CaptainUnbrauchbar/dependabot/github_acti…
CaptainUnbrauchbar May 5, 2025
070e614
Add openvsx publishing action to workflow
CaptainUnbrauchbar May 8, 2025
263939a
Add Open VSX Registry link to README
CaptainUnbrauchbar May 8, 2025
9028d2c
Merge pull request #52 from CaptainUnbrauchbar/openvsx-support
CaptainUnbrauchbar May 11, 2025
a0f3679
ci: :construction_worker: bump the github-actions group across 1 dire…
dependabot[bot] Jun 2, 2025
be7db02
ci: :arrow-up: bump @vscode/test-cli from 0.0.10 to 0.0.11
dependabot[bot] Jun 2, 2025
9e2d927
Merge pull request #55 from CaptainUnbrauchbar/dependabot/github_acti…
richilino Jun 14, 2025
8af771f
ci: :construction_worker: bump the github-actions group with 3 updates
dependabot[bot] Jun 16, 2025
aa2a264
Merge branch 'informaticup' into dependabot/npm_and_yarn/vscode/test-…
richilino Jun 29, 2025
f2e00df
Merge pull request #56 from CaptainUnbrauchbar/dependabot/npm_and_yar…
richilino Jun 29, 2025
237d089
Merge branch 'informaticup' into dependabot/github_actions/github-act…
richilino Jun 29, 2025
d648da7
ci: :arrow-up: bump the npm_and_yarn group with 1 update
dependabot[bot] Jun 29, 2025
e429ec0
ci: :arrow-up: bump vscode-extension-tester from 8.13.0 to 8.15.0
dependabot[bot] Jun 29, 2025
9cf2cd4
Merge pull request #60 from CaptainUnbrauchbar/dependabot/github_acti…
richilino Jun 29, 2025
d156ad7
Merge branch 'informaticup' into dependabot/npm_and_yarn/vscode-exten…
richilino Jun 29, 2025
5d2bc95
Merge pull request #59 from CaptainUnbrauchbar/dependabot/npm_and_yar…
richilino Jun 29, 2025
c2fdea3
Merge branch 'informaticup' into dependabot/npm_and_yarn/npm_and_yarn…
richilino Jun 29, 2025
e972f05
Merge pull request #57 from CaptainUnbrauchbar/dependabot/npm_and_yar…
richilino Jun 29, 2025
6fc9bd2
style: 💫 Update display name and add categories/tags
CaptainUnbrauchbar Jul 1, 2025
ff737af
fix: :bug: fixed multiline comments being processed incorrectly (#73)
CaptainUnbrauchbar Jul 24, 2025
f71437c
ci: :arrow-up: bump jest from 29.7.0 to 30.0.5
dependabot[bot] Jul 28, 2025
072f98a
ci: :construction_worker: bump the github-actions group with 2 updates
dependabot[bot] Jul 28, 2025
277c646
ci: :arrow-up: bump @vscode/codicons from 0.0.36 to 0.0.39
dependabot[bot] Aug 4, 2025
2b286da
Version bump
CaptainUnbrauchbar Aug 6, 2025
568d01c
Merge pull request #64 from CaptainUnbrauchbar/dependabot/github_acti…
CaptainUnbrauchbar Aug 6, 2025
266e16c
Merge branch 'informaticup' into dependabot/npm_and_yarn/jest-30.0.5
CaptainUnbrauchbar Aug 6, 2025
c53858d
Merge pull request #74 from CaptainUnbrauchbar/dependabot/npm_and_yar…
richilino Aug 6, 2025
419a128
Merge branch 'informaticup' into dependabot/npm_and_yarn/vscode/codic…
richilino Aug 6, 2025
3c0cb6b
Merge pull request #75 from CaptainUnbrauchbar/dependabot/npm_and_yar…
richilino Aug 6, 2025
20534ae
ci: :arrow-up: bump tmp from 0.2.3 to 0.2.4 in the npm_and_yarn group
dependabot[bot] Aug 6, 2025
715c476
Merge pull request #76 from CaptainUnbrauchbar/dependabot/npm_and_yar…
richilino Aug 6, 2025
ed9c541
Merge branch 'informaticup' into change-display-name
CaptainUnbrauchbar Aug 6, 2025
4939566
Merge pull request #65 from CaptainUnbrauchbar/change-display-name
CaptainUnbrauchbar Aug 6, 2025
0363cf8
docs: 📝 misc changes to citation
CaptainUnbrauchbar Aug 6, 2025
f01f2e0
Update package.json
CaptainUnbrauchbar Aug 6, 2025
7a3b752
docs: 📝bump version
CaptainUnbrauchbar Aug 6, 2025
b7563a2
Merge pull request #77 from CaptainUnbrauchbar/misc-changes
richilino Aug 6, 2025
a1fccd6
docs: 📝add zenodo batch to readme
richilino Aug 7, 2025
da4e931
docs: 📝update CITATION.cff
richilino Aug 7, 2025
616715b
docs: 📝fix pages in ref
richilino Aug 7, 2025
d2794d3
Merge pull request #78 from CaptainUnbrauchbar/update-readme
richilino Aug 8, 2025
627268a
ci: :construction_worker: bump the github-actions group with 2 updates
dependabot[bot] Aug 11, 2025
26cb9ac
Merge pull request #79 from CaptainUnbrauchbar/dependabot/github_acti…
richilino Aug 16, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 0 additions & 25 deletions .eslintrc.json

This file was deleted.

21 changes: 21 additions & 0 deletions .github/dependabot.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
version: 2
updates:
# Enable version updates for github-actions
- package-ecosystem: "github-actions"
directory: "/"
schedule:
interval: "weekly"
rebase-strategy: disabled
commit-message:
prefix: "ci: :construction_worker:"
groups:
github-actions:
patterns:
- "*"
# Enable version updates for npm
- package-ecosystem: "npm"
directory: "/"
schedule:
interval: "weekly"
commit-message:
prefix: "ci: :arrow-up:"
55 changes: 55 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,55 @@
name: CI

on:
push:
branches:
- "*"
pull_request:
branches:
- master

permissions:
contents: read

jobs:
ci:
name: CI
runs-on: ubuntu-latest
outputs:
vsixPath: ${{ steps.packageExtension.outputs.vsixPath }}
steps:
- name: Harden the runner (Audit all outbound calls)
uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
with:
egress-policy: audit
#ToDo: Change to block after couple of workflow runs

- name: Checkout Repository
uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0

- name: Install Node 22
uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
with:
node-version: 22

- name: Install Dependencies
run: npm ci

- name: Run Tests
run: npm test

- name: Package Extension
id: packageExtension
uses: HaaLeo/publish-vscode-extension@ca5561daa085dee804bf9f37fe0165785a9b14db # v2.0.0
with:
# stub because this is a dry-run
pat: stub
# do not publish to marketplace, only package vsix
dryRun: true

- name: Upload Extension Package as Artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
with:
name: VSIX Extension File
path: ${{ steps.packageExtension.outputs.vsixPath }}
retention-days: 5
22 changes: 22 additions & 0 deletions .github/workflows/dependency_review.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
name: "Dependency Review"

on:
pull_request:
branches: ["master", "informaticup"]

permissions:
contents: read

jobs:
dependency-review:
runs-on: ubuntu-latest
steps:
- name: Harden the runner (Audit all outbound calls)
uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
with:
egress-policy: audit
#ToDo: Change to block after couple of workflow runs
- name: "Checkout Repository"
uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
- name: "Dependency Review"
uses: actions/dependency-review-action@da24556b548a50705dd671f47852072ea4c105d9 # v4.7.1
62 changes: 62 additions & 0 deletions .github/workflows/marketplace_release.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,62 @@
name: marketplace_release

on:
push:
tags:
- v*.*.*

permissions:
contents: read

jobs:
release:
runs-on: ubuntu-latest
permissions:
actions: read
id-token: write
contents: write
outputs:
vsixPath: ${{ steps.packageExtension.outputs.vsixPath }}
steps:
- name: Harden the runner (Audit all outbound calls)
uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
with:
egress-policy: audit
#ToDo: Change to block after couple of workflow runs

- name: Checkout Repository
uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0

- name: Install Node 22
uses: actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020 # v4.4.0
with:
node-version: 22

- name: Install Dependencies
run: npm ci

- name: Publish to Open VSX Registry
uses: HaaLeo/publish-vscode-extension@ca5561daa085dee804bf9f37fe0165785a9b14db
with:
pat: ${{ secrets.OPEN_VSX_RELEASE_TOKEN }}

- name: Publish to Visual Studio Marketplace
id: packageExtension
uses: HaaLeo/publish-vscode-extension@ca5561daa085dee804bf9f37fe0165785a9b14db # v2.0.0
with:
pat: ${{ secrets.AZURE_RELEASE_TOKEN }}
registryUrl: https://marketplace.visualstudio.com/
preRelease: false

- name: Create Release
uses: softprops/action-gh-release@72f2c25fcb47643c292f7107632f7a47c1df5cd8 # v2.3.2
if: startsWith(github.ref, 'refs/tags/')
with:
files: ${{ steps.packageExtension.outputs.vsixPath }}

- name: Upload Extension Package as Artifact
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
with:
name: VSIX Extension File
path: ${{ steps.packageExtension.outputs.vsixPath }}
retention-days: 5
80 changes: 80 additions & 0 deletions .github/workflows/scorecard.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,80 @@
# This workflow uses actions that are not certified by GitHub. They are provided
# by a third-party and are governed by separate terms of service, privacy
# policy, and support documentation.

name: OpenSSF Scorecard
on:
# For Branch-Protection check. Only the default branch is supported. See
# https://github.com/ossf/scorecard/blob/main/docs/checks.md#branch-protection
branch_protection_rule:
# To guarantee Maintained check is occasionally updated. See
# https://github.com/ossf/scorecard/blob/main/docs/checks.md#maintained
schedule:
- cron: "29 3 * * 0"
push:
branches: ["informaticup"]

# Declare default permissions as read only.
permissions: read-all

jobs:
analysis:
name: Scorecard analysis
runs-on: ubuntu-latest
# `publish_results: true` only works when run from the default branch. conditional can be removed if disabled.
if: github.event.repository.default_branch == github.ref_name || github.event_name == 'pull_request'
permissions:
# Needed to upload the results to code-scanning dashboard.
security-events: write
# Needed to publish results and get a badge (see publish_results below).
id-token: write

steps:
- name: Harden the runner (Audit all outbound calls)
uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
with:
egress-policy: audit
#ToDo: Change to block after couple of workflow runs
- name: "Checkout code"
uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
with:
persist-credentials: false

- name: "Run analysis"
uses: ossf/scorecard-action@05b42c624433fc40578a4040d5cf5e36ddca8cde # v2.4.2
with:
results_file: results.sarif
results_format: sarif
# (Optional) "write" PAT token. Uncomment the `repo_token` line below if:
# - you want to enable the Branch-Protection check on a *public* repository, or
# - you are installing Scorecard on a *private* repository
# To create the PAT, follow the steps in https://github.com/ossf/scorecard-action?tab=readme-ov-file#authentication-with-fine-grained-pat-optional.
# repo_token: ${{ secrets.SCORECARD_TOKEN }}

# Public repositories:
# - Publish results to OpenSSF REST API for easy access by consumers
# - Allows the repository to include the Scorecard badge.
# - See https://github.com/ossf/scorecard-action#publishing-results.
# For private repositories:
# - `publish_results` will always be set to `false`, regardless
# of the value entered here.
publish_results: true

# (Optional) Uncomment file_mode if you have a .gitattributes with files marked export-ignore
# file_mode: git

# Upload the results as artifacts (optional). Commenting out will disable uploads of run results in SARIF
# format to the repository Actions tab.
- name: "Upload artifact"
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
with:
name: SARIF file
path: results.sarif
retention-days: 5

# Upload the results to GitHub's code scanning dashboard (optional).
# Commenting out will disable upload of results to your repo's Code Scanning dashboard
- name: "Upload to code-scanning"
uses: github/codeql-action/upload-sarif@76621b61decf072c1cee8dd1ce2d2a82d33c17ed # v3.29.8
with:
sarif_file: results.sarif
52 changes: 52 additions & 0 deletions .github/workflows/semgrep.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,52 @@
# Name of this GitHub Actions workflow.
name: Semgrep

on:
# Scan changed files in PRs (diff-aware scanning):
pull_request: {}
# Scan on-demand through GitHub Actions interface:
workflow_dispatch: {}
# Scan mainline branches and report all findings:
push:
branches: ["master", "informaticup"]
# Schedule the CI job (this method uses cron syntax):
schedule:
- cron: "20 17 * * *" # Sets Semgrep to scan every day at 17:20 UTC.
# It is recommended to change the schedule to a random time.

permissions:
contents: read

jobs:
semgrep:
permissions:
contents: read # for actions/checkout to fetch code
security-events: write # for github/codeql-action/upload-sarif to upload SARIF results
name: semgrep/ci
runs-on: ubuntu-latest

container:
image: semgrep/semgrep

# Skip any PR created by dependabot to avoid permission issues:
if: (github.actor != 'dependabot[bot]')

steps:
- name: Harden the runner (Audit all outbound calls)
uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
with:
egress-policy: audit
#ToDo: Change to block after couple of workflow runs
- uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
- run: semgrep ci --sarif > semgrep.sarif
env:
# Connect to Semgrep AppSec Platform through your SEMGREP_APP_TOKEN.
# Generate a token from Semgrep AppSec Platform > Settings
# and add it to your GitHub secrets.
SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}

- name: Upload SARIF file for GitHub Advanced Security Dashboard
uses: github/codeql-action/upload-sarif@76621b61decf072c1cee8dd1ce2d2a82d33c17ed # v3.29.8
with:
sarif_file: semgrep.sarif
if: always()
4 changes: 4 additions & 0 deletions .vscode-test.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
// .vscode-test.js
const { defineConfig } = require('@vscode/test-cli');

module.exports = defineConfig({ files: 'src/integrationTests/suite/*.e2e.js' });
2 changes: 1 addition & 1 deletion .vscode/launch.json
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@
"runtimeExecutable": "${execPath}",
"args": [
"--extensionDevelopmentPath=${workspaceFolder}",
"--extensionTestsPath=${workspaceFolder}/test/suite/index"
"--extensionTestsPath=${workspaceFolder}/src/test/suite/index"
]
}
]
Expand Down
6 changes: 4 additions & 2 deletions .vscode/settings.json
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
{
"cmake.configureOnOpen": false
}
"prettier.printWidth": 140,
"prettier.tabWidth": 4,
"editor.defaultFormatter": "esbenp.prettier-vscode"
}
Loading
Loading