Skip to content

Actions: napkin-community/solutions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
461 workflow runs
461 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

solves: HoTT 3.1 (#87) check #328: Commit cbb732a pushed by RanolP
22s main
main
22s
solves: HoTT 3.1 (#87) build-then-deploy #129: Commit cbb732a pushed by RanolP
48s main
main
48s
solves: HoTT 3.1 check #327: Pull request #87 opened by RanolP
16s hott-3.1
hott-3.1
16s
solves: HoTT 3.1 check #326: Commit cd87bbb pushed by RanolP
18s hott-3.1
hott-3.1
18s
solve: HoTT 3.2 check #325: Pull request #86 synchronize by kiwiyou
18s solve/hott-3.2
solve/hott-3.2
18s
fix: usage of inr in equivalence proof check #324: Commit 87289b2 pushed by kiwiyou
16s solve/hott-3.2
solve/hott-3.2
16s
solve: HoTT 3.2 check #323: Pull request #86 opened by kiwiyou
22s solve/hott-3.2
solve/hott-3.2
22s
solve: HoTT 3.2 check #322: Commit 9dca9b3 pushed by kiwiyou
20s solve/hott-3.2
solve/hott-3.2
20s
solve: HoTT 2.9 check #321: Commit 1a1e22b pushed by simnalamburt
19s main
main
19s
solve: HoTT 2.9 build-then-deploy #128: Commit 1a1e22b pushed by simnalamburt
45s main
main
45s
solve: HoTT 2.14 build-then-deploy #127: Commit 2f0ee74 pushed by kiwiyou
40s main
main
40s
solve: HoTT 2.14 check #320: Commit 2f0ee74 pushed by kiwiyou
20s main
main
20s
solve: HoTT 2.14 check #319: Pull request #85 synchronize by kiwiyou
17s solve/hott-2.14
solve/hott-2.14
17s
solve: HoTT 2.14 check #318: Commit 2f0ee74 pushed by kiwiyou
24s solve/hott-2.14
solve/hott-2.14
24s
solve: HoTT 2.14 check #317: Pull request #85 synchronize by kiwiyou
17s solve/hott-2.14
solve/hott-2.14
17s
Merge remote-tracking branch 'origin/main' into HEAD check #316: Commit fb0900d pushed by kiwiyou
22s solve/hott-2.14
solve/hott-2.14
22s
solve: HoTT 2.14 check #315: Pull request #85 opened by kiwiyou
16s solve/hott-2.14
solve/hott-2.14
16s
solve: HoTT 2.14 check #314: Commit cf951f9 pushed by kiwiyou
15s solve/hott-2.14
solve/hott-2.14
15s
solve: HoTT 2.3 build-then-deploy #126: Commit df5d29c pushed by simnalamburt
41s main
main
41s
solve: HoTT 2.3 check #313: Commit df5d29c pushed by simnalamburt
18s main
main
18s
solve: HoTT 2.3 check #312: Commit a3babce pushed by simnalamburt
16s main
main
16s
solve: HoTT 2.3 build-then-deploy #125: Commit a3babce pushed by simnalamburt
36s main
main
36s
solve: HoTT 2.3 build-then-deploy #124: Commit 236d718 pushed by simnalamburt
35s main
main
35s
solve: HoTT 2.3 check #311: Commit 236d718 pushed by simnalamburt
16s main
main
16s
www: Update dependencies build-then-deploy #123: Commit 5cb2ba7 pushed by simnalamburt
41s main
main
41s