[PR #87] [MERGED] Add a basic Github Actions workflow #137

New issue

Closed

opened 2026-03-03 19:12:03 +03:00 by kerem · 0 comments

kerem commented

2026-03-03 19:12:03 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/ProxymanApp/atlantis/pull/87
Author: @wacumov
Created: 10/1/2021
Status: ✅ Merged
Merged: 10/2/2021
Merged by: @NghiaTranUIT

Base: main ← Head: main

📝 Commits (1)

d65b9f4 Add a basic Github Actions workflow

📊 Changes

1 file changed (+20 additions, -0 deletions)

View changed files

➕ .github/workflows/main.yml (+20 -0)

📄 Description

Fixes #4

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/ProxymanApp/atlantis/pull/87 **Author:** [@wacumov](https://github.com/wacumov) **Created:** 10/1/2021 **Status:** ✅ Merged **Merged:** 10/2/2021 **Merged by:** [@NghiaTranUIT](https://github.com/NghiaTranUIT) **Base:** `main` ← **Head:** `main` --- ### 📝 Commits (1) - [`d65b9f4`](https://github.com/ProxymanApp/atlantis/commit/d65b9f45ca80ff9f0b8a8a0d80ce6fe8fd906c78) Add a basic Github Actions workflow ### 📊 Changes **1 file changed** (+20 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `.github/workflows/main.yml` (+20 -0) </details> ### 📄 Description Fixes #4 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>