Skip to content

Actions: hazelgrove/error-localization-agda

Actions

agda

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
agda.yaml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

agda: Move MSFree rule up agda #44: Commit 42bc044 pushed by mirryi
December 28, 2023 16:16 1m 9s master
master
December 28, 2023 16:16 1m 9s
agda: Use glub symbol for type meet agda #43: Commit 2dd1f15 pushed by mirryi
October 27, 2023 02:19 1m 26s popl24-artifact
popl24-artifact
October 27, 2023 02:19 1m 26s
agda: Use glub symbol for type meet agda #42: Commit 25b3710 pushed by mirryi
October 27, 2023 02:18 1m 36s master
master
October 27, 2023 02:18 1m 36s
agda: Use glub symbol for type meet agda #41: Commit 5e413d4 pushed by mirryi
October 27, 2023 02:17 1m 32s meet-symbol
meet-symbol
October 27, 2023 02:17 1m 32s
formalism: Fix AEZipProjL and AEZipProjR agda #40: Commit 13c28f1 pushed by mirryi
October 9, 2023 00:03 1m 18s untyped-hazelnut
untyped-hazelnut
October 9, 2023 00:03 1m 18s
formalism: Give brief description of typed action calculus agda #39: Commit 33ed96a pushed by mirryi
October 8, 2023 23:37 1m 20s typed-hazelnut
typed-hazelnut
October 8, 2023 23:37 1m 20s
agda: Clean up formatting agda #38: Commit c57371f pushed by mirryi
September 30, 2023 05:36 1m 24s master
master
September 30, 2023 05:36 1m 24s