Skip to content

Actions: midspiral/github-star-checker-lemmascript

Actions

LemmaScript

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lemmascript.yml
7 workflow runs
7 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix formatting in README LemmaScript #7: Commit 2e6c792 pushed by namin
52s main
main
52s
modify CI badge LemmaScript #6: Commit 5481c23 pushed by namin
47s main
main
47s
CI badge LemmaScript #5: Commit d7463d2 pushed by namin
55s main
main
55s
running lemmascript-claimcheck LemmaScript #4: Commit 8725d49 pushed by namin
56s main
main
56s
update npx LemmaScript #3: Commit 37c3b56 pushed by namin
42s main
main
42s
bump CI LemmaScript #2: Commit 9fbe87a pushed by namin
51s main
main
51s
CI LemmaScript #1: Commit daafe2a pushed by namin
49s main
main
49s