Skip to content

Actions: agda/agda2hs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Inline anything (#431) CI #855: Commit 980c6f6 pushed by jespercockx
33m 10s master
master
33m 10s
Inline anything CI #854: Pull request #431 synchronize by jespercockx
8m 51s jespercockx:inline-anything
jespercockx:inline-anything
8m 51s
Inline anything CI #853: Pull request #431 synchronize by jespercockx
8m 18s jespercockx:inline-anything
jespercockx:inline-anything
8m 18s
Inline anything CI #852: Pull request #431 synchronize by jespercockx
8m 19s jespercockx:inline-anything
jespercockx:inline-anything
8m 19s
[ re #155 ] Minor simplifications following suggestions by @omelkonian CI #851: Commit 41a090d pushed by jespercockx
8m 35s master
master
8m 35s
[ #155 ] Add COMPILE ... to pragmas for data types and functions CI #850: Pull request #430 synchronize by jespercockx
32m 20s jespercockx:compile-as
jespercockx:compile-as
32m 20s
[ #436 ] Disable test suite HTML generation for now CI #849: Commit 392c12a pushed by jespercockx
31m 40s master
master
31m 40s
Make _⟨⟩ the constructor of ∃ so it can be used in patterns CI #848: Commit 306d2ea pushed by jespercockx
26m 24s master
master
26m 24s
Install fix-whitespace on CI CI #847: Commit 13db471 pushed by jespercockx
25m 53s master
master
25m 53s
fix-whitespace fixes CI #846: Pull request #435 synchronize by liesnikov
31m 33s liesnikov:master
liesnikov:master
31m 33s
fix-whitespace fixes CI #845: Pull request #435 synchronize by liesnikov
30m 35s liesnikov:master
liesnikov:master
30m 35s
fix-whitespace fixes CI #844: Pull request #435 synchronize by liesnikov
33m 22s liesnikov:master
liesnikov:master
33m 22s
fix-whitespace fixes CI #843: Pull request #435 synchronize by liesnikov
1m 59s liesnikov:master
liesnikov:master
1m 59s
Remove broken attempt at running fix-whitespace in CI CI #842: Commit d23ef56 pushed by jespercockx
25m 21s master
master
25m 21s
Inline anything CI #841: Pull request #431 opened by jespercockx
22m 29s jespercockx:inline-anything
jespercockx:inline-anything
22m 29s
[ #155 ] Add COMPILE ... to pragmas for data types and functions CI #840: Pull request #430 synchronize by jespercockx
3m 52s jespercockx:compile-as
jespercockx:compile-as
3m 52s
Remove fix-whitespace step from the Makefile for now CI #839: Commit 7e12a12 pushed by jespercockx
23m 11s master
master
23m 11s
[ #155 ] Add COMPILE ... to pragmas for data types and functions CI #838: Pull request #430 synchronize by jespercockx
3m 18s jespercockx:compile-as
jespercockx:compile-as
3m 18s
Fix running of fix-whitespace on CI (hopefully) CI #837: Commit 23c7e37 pushed by jespercockx
20m 35s master
master
20m 35s
Copy infrastructure for whitespace violations from agda repo CI #836: Commit 3a73b82 pushed by jespercockx
19m 57s master
master
19m 57s
[ #155 ] Add COMPILE ... to pragmas for data types and functions CI #835: Pull request #430 synchronize by jespercockx
28m 11s jespercockx:compile-as
jespercockx:compile-as
28m 11s
[ #155 ] Add COMPILE ... to pragmas for data types and functions CI #834: Pull request #430 opened by jespercockx
27m 43s jespercockx:compile-as
jespercockx:compile-as
27m 43s
Update dependency to agda2hs-base in tutorial examples CI #833: Pull request #429 opened by wrvsrx
26m 43s wrvsrx:update-example-dependencies
wrvsrx:update-example-dependencies
26m 43s
Use OverloadedStrings in Compile/Record.hs too CI #832: Commit 01cc053 pushed by liesnikov
4m 34s master
master
4m 34s
Runtime checks CI #831: Pull request #420 opened by liesnikov
3m 12s liesnikov:runtime-check
liesnikov:runtime-check
3m 12s