Skip to content

Actions: jefremof/AgdaCSA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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
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
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
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
main
June 3, 2024 04:38 3m 27s