Skip to content

Commit

Permalink
Update README.org with badge
Browse files Browse the repository at this point in the history
  • Loading branch information
lemastero authored Dec 4, 2024
1 parent 6384f29 commit c4bdfdd
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion README.org
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
[![Build CI](https://github.com/lemastero/agda-smash/actions/workflows/main.yml/badge.svg?branch=main)](https://github.com/lemastero/agda-smash/actions/workflows/main.yml?query=branch%3Amain)
#+CAPTION: CI Build Status
#+NAME: fig:CI-Bade
[[https://github.com/lemastero/agda-smash/actions/workflows/main.yml/badge.svg?branch=main]]

* Agda Smash

Expand Down

0 comments on commit c4bdfdd

Please sign in to comment.