Skip to content

Commit

Permalink
Rename workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
@YaelDillies
YaelDillies committed Dec 22, 2023
1 parent 53215d7 commit 3d71de9
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 2 deletions.
0 .github/workflows/push.yml → .github/workflows/push_master.yml
View file
File renamed without changes.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Cambridge combinatorics in Lean

[![.github/workflows/push_main.yml](https://github.com/YaelDillies/LeanCamCombi/actions/workflows/push_main.yml/badge.svg)](https://github.com/YaelDillies/LeanCamCombi/actions/workflows/push_main.yml)
[![.github/workflows/push_master.yml](https://github.com/YaelDillies/LeanCamCombi/actions/workflows/push_master.yml/badge.svg)](https://github.com/YaelDillies/LeanCamCombi/actions/workflows/push_master.yml)
[![Gitpod Ready-to-Code](https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod)](https://gitpod.io/#https://github.com/YaelDillies/LeanCamCombi)

This repository aims at formalising the mathematics courses relevant to combinatorics that are lectured in Cambridge, UK.
Expand Down
2 changes: 1 addition & 1 deletion docs/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@

# Cambridge combinatorics in Lean

[![.github/workflows/push_main.yml](https://github.com/YaelDillies/LeanCamCombi/actions/workflows/push_main.yml/badge.svg)](https://github.com/YaelDillies/LeanCamCombi/actions/workflows/push_main.yml)
[![.github/workflows/push_master.yml](https://github.com/YaelDillies/LeanCamCombi/actions/workflows/push_master.yml/badge.svg)](https://github.com/YaelDillies/LeanCamCombi/actions/workflows/push_master.yml)
[![Gitpod Ready-to-Code](https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod)](https://gitpod.io/#https://github.com/YaelDillies/LeanCamCombi)

This repository aims at formalising the mathematics courses relevant to combinatorics that are lectured in Cambridge, UK.
Expand Down

0 comments on commit 3d71de9

Please sign in to comment.