From da4e887a48f21756fb4022697698d1d36796b496 Mon Sep 17 00:00:00 2001 From: vladyslav-crunch Date: Fri, 21 Nov 2025 11:50:08 +0100 Subject: [PATCH] z3 --- .gitea/workflows/ci.yml | 17 +++++------------ main.c | 5 +++++ 2 files changed, 10 insertions(+), 12 deletions(-) create mode 100644 main.c diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml index 8a53f0f..2d75492 100644 --- a/.gitea/workflows/ci.yml +++ b/.gitea/workflows/ci.yml @@ -3,19 +3,12 @@ on: [push] jobs: build: runs-on: ubuntu-latest - strategy: - matrix: - rid: ["win-x64", "linux-x64"] steps: - uses: actions/checkout@v4 - - uses: actions/setup-dotnet@v3 - with: - dotnet-version: "8.0.x" - - run: dotnet restore - - run: dotnet publish -o app -r ${{ matrix.rid }} --sc /p:PublishSingleFile=true - - - name: Upload ${{ matrix.rid }} Artifact + - name: build using gcc + run: gcc -Wall -Werror main.c -o program + - name: Archive production artifacts uses: actions/upload-artifact@v3 with: - name: app-${{ matrix.rid }} - path: app + name: program + path: program diff --git a/main.c b/main.c new file mode 100644 index 0000000..f08b6aa --- /dev/null +++ b/main.c @@ -0,0 +1,5 @@ +int main() +{ + printf("Halo, Welt!"); + return 0; +} \ No newline at end of file