Skip to content

Actions: lemastero/agda-hott

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

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 nix shell with Agda CI #9: Pull request #4 synchronize by lemastero
December 4, 2024 19:01 1m 45s add-nix
add-nix
December 4, 2024 19:01 1m 45s
add nix shell with Agda CI #8: Pull request #4 synchronize by lemastero
December 4, 2024 18:14 21s add-nix
add-nix
December 4, 2024 18:14 21s
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
Add Github Action CI badge to README.md CI #6: Pull request #7 opened by lemastero
December 4, 2024 17:36 29s CI-badge
CI-badge
December 4, 2024 17:36 29s
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
Proper CI using wenkokke/setp-agda CI #4: Pull request #6 synchronize by lemastero
December 4, 2024 16:53 1m 21s use-wenkokke-setp-agda-for-ci
use-wenkokke-setp-agda-for-ci
December 4, 2024 16:53 1m 21s
Proper CI using wenkokke/setp-agda CI #3: Pull request #6 synchronize by lemastero
December 4, 2024 16:30 24s use-wenkokke-setp-agda-for-ci
use-wenkokke-setp-agda-for-ci
December 4, 2024 16:30 24s
Proper CI using wenkokke/setp-agda CI #2: Pull request #6 synchronize by lemastero
December 4, 2024 15:59 24s use-wenkokke-setp-agda-for-ci
use-wenkokke-setp-agda-for-ci
December 4, 2024 15:59 24s
Proper CI using wenkokke/setp-agda CI #1: Pull request #6 synchronize by lemastero
December 4, 2024 15:51 27s use-wenkokke-setp-agda-for-ci
use-wenkokke-setp-agda-for-ci
December 4, 2024 15:51 27s
Proper CI using wenkokke/setp-agda CI #5: Pull request #6 synchronize by lemastero
December 4, 2024 15:37 25s use-wenkokke-setp-agda-for-ci
use-wenkokke-setp-agda-for-ci
December 4, 2024 15:37 25s
Proper CI using wenkokke/setp-agda CI #4: Pull request #6 opened by lemastero
December 4, 2024 15:31 25s use-wenkokke-setp-agda-for-ci
use-wenkokke-setp-agda-for-ci
December 4, 2024 15:31 25s
Update README.md - drop extra ) CI #3: Commit a90a993 pushed by lemastero
November 13, 2024 20:56 13s main
main
November 13, 2024 20:56 13s
Create blank.yml (#5) CI #2: Commit 52a3c94 pushed by lemastero
October 29, 2023 16:28 12s main
main
October 29, 2023 16:28 12s
GH Action CI #1: Pull request #5 opened by lemastero
October 29, 2023 16:24 12s GH-Action
GH-Action
October 29, 2023 16:24 12s