Skip to content

Actions: lemastero/agda-hott

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
agda.yml
3 workflow run results
3 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add nix shell with Agda (#4) CI #10: Commit 0aaa362 pushed by lemastero
December 5, 2024 01:54 1m 16s main
main
December 5, 2024 01:54 1m 16s
Add Github Action CI badge to README.md (#7) CI #7: Commit 3e39a4e pushed by lemastero
December 4, 2024 17:37 24s main
main
December 4, 2024 17:37 24s
Proper CI using wenkokke/setp-agda (#6) CI #5: Commit 4dc0b6c pushed by lemastero
December 4, 2024 16:59 25s main
main
December 4, 2024 16:59 25s