Rev 13 | Rev 15 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
# $Id$
name: Build Krakow BASIC
name: "Build Krakow BASIC"
on:
workflow_dispatch:
push: