Skip to content

Actions: agda/cornelis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix Agda RPC for upcoming 2.8.0 CI #181: Commit dca4bda pushed by 4e554c4c
February 20, 2025 16:11 1h 25m 54s master
master
February 20, 2025 16:11 1h 25m 54s
Fix Agda RPC for upcoming 2.8.0 CI #180: Pull request #168 opened by 4e554c4c
February 20, 2025 14:53 1h 25m 37s 4e554c4c:fix-interval
4e554c4c:fix-interval
February 20, 2025 14:53 1h 25m 37s
Remove MacOS tests CI #179: Commit 552f13c pushed by 4e554c4c
February 19, 2025 16:43 26m 36s master
master
February 19, 2025 16:43 26m 36s
Remove MacOS tests Nix Agda CI #48: Commit 552f13c pushed by 4e554c4c
February 19, 2025 16:43 1m 8s master
master
February 19, 2025 16:43 1m 8s
Remove MacOS tests CI #178: Pull request #167 opened by 4e554c4c
February 19, 2025 16:15 25m 24s 4e554c4c:yeet-macos
4e554c4c:yeet-macos
February 19, 2025 16:15 25m 24s
Remove MacOS tests Nix Agda CI #47: Pull request #167 opened by 4e554c4c
February 19, 2025 16:15 1m 4s 4e554c4c:yeet-macos
4e554c4c:yeet-macos
February 19, 2025 16:15 1m 4s
Implement: Make the rewrite mode modifiable #41 CI #177: Commit 01babd0 pushed by 4e554c4c
February 19, 2025 15:32 1h 6m 16s master
master
February 19, 2025 15:32 1h 6m 16s
Implement: Make the rewrite mode modifiable #41 Nix Agda CI #46: Commit 01babd0 pushed by 4e554c4c
February 19, 2025 15:32 25m 33s master
master
February 19, 2025 15:32 25m 33s
add tagging policy and lazy instructions CI #176: Commit 255586b pushed by 4e554c4c
February 19, 2025 15:31 56m 34s master
master
February 19, 2025 15:31 56m 34s
add tagging policy and lazy instructions CI #175: Pull request #166 synchronize by 4e554c4c
February 19, 2025 15:03 52m 35s 4e554c4c:tag-policy
4e554c4c:tag-policy
February 19, 2025 15:03 52m 35s
add tagging policy and lazy instructions CI #174: Pull request #166 opened by 4e554c4c
February 19, 2025 15:01 46m 54s 4e554c4c:tag-policy
4e554c4c:tag-policy
February 19, 2025 15:01 46m 54s
Set ft=markdown.agda for *.lagda.md Nix Agda CI #45: Commit fd61ff3 pushed by 4e554c4c
February 19, 2025 15:00 2m 20s v2.7.0
v2.7.0
February 19, 2025 15:00 2m 20s
Set ft=markdown.agda for *.lagda.md CI #173: Commit fd61ff3 pushed by 4e554c4c
February 19, 2025 15:00 41m 4s v2.7.0
v2.7.0
February 19, 2025 15:00 41m 4s
Implement: Make the rewrite mode modifiable #41 Nix Agda CI #44: Pull request #165 opened by ivanovs-4
February 17, 2025 23:17 19m 34s ivanovs-4:issue-rewrite-mode-41
ivanovs-4:issue-rewrite-mode-41
February 17, 2025 23:17 19m 34s
Implement: Make the rewrite mode modifiable #41 CI #172: Pull request #165 opened by ivanovs-4
February 17, 2025 23:17 1h 6m 55s ivanovs-4:issue-rewrite-mode-41
ivanovs-4:issue-rewrite-mode-41
February 17, 2025 23:17 1h 6m 55s
Set ft=markdown.agda for *.lagda.md CI #171: Commit fd61ff3 pushed by 4e554c4c
January 15, 2025 13:21 1h 0m 52s master
master
January 15, 2025 13:21 1h 0m 52s
Set ft=markdown.agda for *.lagda.md CI #170: Pull request #162 synchronize by 4e554c4c
January 15, 2025 13:21 54m 50s 4e554c4c:md
4e554c4c:md
January 15, 2025 13:21 54m 50s
update workflows CI #169: Commit 2f43eb1 pushed by 4e554c4c
January 15, 2025 13:20 44m 17s master
master
January 15, 2025 13:20 44m 17s
update workflows Nix Agda CI #43: Commit 2f43eb1 pushed by 4e554c4c
January 15, 2025 13:20 5m 24s master
master
January 15, 2025 13:20 5m 24s
update workflows CI #168: Pull request #163 synchronize by 4e554c4c
January 15, 2025 13:20 38m 6s 4e554c4c:workflows
4e554c4c:workflows
January 15, 2025 13:20 38m 6s
update workflows Nix Agda CI #42: Pull request #163 synchronize by 4e554c4c
January 15, 2025 13:20 1m 55s 4e554c4c:workflows
4e554c4c:workflows
January 15, 2025 13:20 1m 55s
update workflows CI #167: Pull request #163 synchronize by 4e554c4c
January 15, 2025 12:17 40m 24s 4e554c4c:workflows
4e554c4c:workflows
January 15, 2025 12:17 40m 24s
update workflows Nix Agda CI #41: Pull request #163 synchronize by 4e554c4c
January 15, 2025 12:17 1m 43s 4e554c4c:workflows
4e554c4c:workflows
January 15, 2025 12:17 1m 43s
update workflows CI #166: Pull request #163 opened by 4e554c4c
January 15, 2025 12:08 39m 39s 4e554c4c:workflows
4e554c4c:workflows
January 15, 2025 12:08 39m 39s
update workflows Nix Agda CI #40: Pull request #163 opened by 4e554c4c
January 15, 2025 12:08 1m 49s 4e554c4c:workflows
4e554c4c:workflows
January 15, 2025 12:08 1m 49s