Skip to content

Actions: agda/agda2hs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
361 workflow runs
361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding documentation CI #343: Commit 79fe184 pushed by jespercockx
September 1, 2023 14:31 39m 47s master
master
September 1, 2023 14:31 39m 47s
Proofs tutorial CI #342: Pull request #199 opened by odderwiser
August 26, 2023 21:59 31m 17s odderwiser:master
odderwiser:master
August 26, 2023 21:59 31m 17s
Adding Emacs mode CI #341: Pull request #198 synchronize by viktorcsimma
August 26, 2023 07:40 4m 30s viktorcsimma:emacs-mode
viktorcsimma:emacs-mode
August 26, 2023 07:40 4m 30s
Adding Emacs mode CI #340: Pull request #198 synchronize by viktorcsimma
August 25, 2023 17:33 36m 47s viktorcsimma:emacs-mode
viktorcsimma:emacs-mode
August 25, 2023 17:33 36m 47s
Translating "zero" constructor of Nat to "0" literal CI #339: Pull request #184 synchronize by viktorcsimma
August 10, 2023 10:18 24m 47s viktorcsimma:zero
viktorcsimma:zero
August 10, 2023 10:18 24m 47s
Adding Emacs mode CI #338: Pull request #198 synchronize by viktorcsimma
August 10, 2023 10:11 32m 26s viktorcsimma:emacs-mode
viktorcsimma:emacs-mode
August 10, 2023 10:11 32m 26s
Adding Emacs mode CI #337: Pull request #198 opened by viktorcsimma
August 10, 2023 10:03 28m 9s viktorcsimma:emacs-mode
viktorcsimma:emacs-mode
August 10, 2023 10:03 28m 9s
Add postulated IO bindings CI #336: Commit a42b630 pushed by jespercockx
August 7, 2023 11:23 43m 19s master
master
August 7, 2023 11:23 43m 19s
Add postulated IO bindings (#180) CI #335: Pull request #197 opened by Cogsad
August 7, 2023 10:07 34m 55s Cogsad:master
Cogsad:master
August 7, 2023 10:07 34m 55s
Update to Agda 2.6.4 CI #334: Pull request #196 synchronize by plt-amy
August 6, 2023 16:16 40m 6s aliao/agda-2.6.4
aliao/agda-2.6.4
August 6, 2023 16:16 40m 6s
Update to Agda 2.6.4 CI #333: Pull request #196 opened by plt-amy
August 6, 2023 15:45 1m 55s aliao/agda-2.6.4
aliao/agda-2.6.4
August 6, 2023 15:45 1m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-08-06 or the other filters available.