Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:24
erlang
6371-gh-Set-module-name-to-md5-does-not-change....
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 6371-gh-Set-module-name-to-md5-does-not-change.patch of Package erlang
From e1ed7dd30018f6f8a7a01324f886be4b9e570b6a Mon Sep 17 00:00:00 2001 From: Lukas Larsson <lukas@erlang.org> Date: Fri, 30 Jun 2023 10:46:13 +0200 Subject: [PATCH] gh: Set module name to md5 does not change --- .github/scripts/sync-github-prs.es | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/scripts/sync-github-prs.es b/.github/scripts/sync-github-prs.es index a78c165058..d32239d670 100755 --- a/.github/scripts/sync-github-prs.es +++ b/.github/scripts/sync-github-prs.es @@ -5,6 +5,7 @@ %% into the Target folder. It tries its best to not create too large %% files so that gh will still be happy with us when this is published to %% gh pages +-module('sync-github-prs'). -mode(compile). main([Repo, Target]) -> -- 2.35.3
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
