michael/agdaup
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

initial

Browse source
This commit is contained in:
Michael Zhang 2024-09-05 22:38:06 +02:00
parent 89c6e9dc07
commit 6e32d34b70
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/build.yml vendored
View file

@ -1,8 +1,6 @@
name: Build Agda name: Build Agda
on: on: [push]
push:
branches: [main]
jobs: jobs:
build: build: