Skip to content

Actions: jefremof/AgdaCSA

Actions

basic

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Readme update
basic #17: Commit b7b46c0 pushed by jefremof
July 26, 2024 13:40 1m 0s main
July 26, 2024 13:40 1m 0s
Roadmap update
basic #16: Commit 5a4cda1 pushed by jefremof
July 26, 2024 13:38 3m 17s main
July 26, 2024 13:38 3m 17s
Small Fixes
basic #15: Commit b0070b6 pushed by jefremof
June 3, 2024 04:41 3m 41s main
June 3, 2024 04:41 3m 41s
Update main.yml
basic #14: Commit 0653646 pushed by jefremof
June 3, 2024 04:38 3m 27s main
June 3, 2024 04:38 3m 27s