Skip to content

Actions: pufferffish/agda-symmetries

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-ubuntu.yml
460 workflow runs
460 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix font issue Ubuntu build #410: Commit 466e7e4 pushed by pufferffish
March 21, 2024 14:23 4m 25s main
main
March 21, 2024 14:23 4m 25s
explain proposition as types Ubuntu build #409: Commit 4ffcdc5 pushed by pufferffish
March 21, 2024 13:56 4m 19s main
main
March 21, 2024 13:56 4m 19s
elaborate more in type theory section Ubuntu build #408: Commit 406c549 pushed by pufferffish
March 18, 2024 10:19 4m 16s main
main
March 18, 2024 10:19 4m 16s
copy content of paper to dissertation Ubuntu build #407: Commit d018e81 pushed by pufferffish
March 18, 2024 04:04 4m 6s main
main
March 18, 2024 04:04 4m 6s
add disseration template Ubuntu build #406: Commit 052ba46 pushed by pufferffish
March 18, 2024 02:18 4m 12s main
main
March 18, 2024 02:18 4m 12s
explain type level stuff Ubuntu build #405: Commit e06cea3 pushed by pufferffish
March 18, 2024 02:12 4m 10s main
main
March 18, 2024 02:12 4m 10s
more minor cleanups Ubuntu build #404: Commit 163852c pushed by pufferffish
March 17, 2024 23:06 4m 0s main
main
March 17, 2024 23:06 4m 0s
fix diagrams in universal algebra section Ubuntu build #403: Commit 6d6cdd4 pushed by pufferffish
March 17, 2024 07:02 3m 59s main
main
March 17, 2024 07:02 3m 59s
more minor cleanups on sorting section Ubuntu build #402: Commit f84f112 pushed by pufferffish
March 17, 2024 06:01 4m 3s main
main
March 17, 2024 06:01 4m 3s
fix minor issues Ubuntu build #401: Commit 385fe47 pushed by pufferffish
March 17, 2024 03:50 4m 1s main
main
March 17, 2024 03:50 4m 1s
Merge overleaf-2024-03-16-2344 into main Ubuntu build #400: Commit a0e6882 pushed by pufferffish
March 16, 2024 23:45 4m 5s main
main
March 16, 2024 23:45 4m 5s
Update authors and prelude Ubuntu build #399: Commit 8331edf pushed by vikraman
March 9, 2024 12:18 4m 32s main
main
March 9, 2024 12:18 4m 32s
finish the slides Ubuntu build #398: Commit 8839b12 pushed by pufferffish
March 5, 2024 01:24 4m 6s main
main
March 5, 2024 01:24 4m 6s
move timelog to main branch and some work on project presentation slides Ubuntu build #397: Commit 554b015 pushed by pufferffish
March 4, 2024 23:03 4m 9s main
main
March 4, 2024 23:03 4m 9s
Migrate from netlify (#85) Ubuntu build #396: Commit e2cfcb0 pushed by pufferffish
March 2, 2024 13:05 4m 0s main
main
March 2, 2024 13:05 4m 0s
Migrate from netlify Ubuntu build #395: Pull request #85 synchronize by pufferffish
March 2, 2024 13:01 4m 6s html-render
html-render
March 2, 2024 13:01 4m 6s
Merge overleaf-2024-03-01-0803 into main Ubuntu build #394: Commit 828f4a7 pushed by pufferffish
March 1, 2024 08:03 4m 8s main
main
March 1, 2024 08:03 4m 8s
Checkpoint Ubuntu build #393: Commit 6869da7 pushed by vikraman
February 29, 2024 11:53 4m 38s main
main
February 29, 2024 11:53 4m 38s
final push Ubuntu build #392: Commit 625da9a pushed by pufferffish
February 29, 2024 11:51 4m 21s main
main
February 29, 2024 11:51 4m 21s
Checkpoint Ubuntu build #391: Commit 4829b48 pushed by vikraman
February 29, 2024 11:29 4m 59s main
main
February 29, 2024 11:29 4m 59s
CHeckpoint Ubuntu build #390: Commit 1f5fd1a pushed by vikraman
February 29, 2024 11:28 4m 37s main
main
February 29, 2024 11:28 4m 37s
Ubuntu build Ubuntu build #389: by pufferffish
February 29, 2024 11:25 4m 12s main
main
February 29, 2024 11:25 4m 12s
Checkpoint Ubuntu build #388: Commit 3fe6012 pushed by vikraman
February 29, 2024 11:23 4m 5s main
main
February 29, 2024 11:23 4m 5s
formalization table Ubuntu build #387: Commit 40542c7 pushed by pufferffish
February 29, 2024 11:00 4m 31s main
main
February 29, 2024 11:00 4m 31s
Checkpoint Ubuntu build #386: Commit 7a73888 pushed by vikraman
February 29, 2024 10:46 4m 13s main
main
February 29, 2024 10:46 4m 13s