Skip to content

Actions: jonsterling/agda-calf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #21: by github-pages bot
March 16, 2024 18:25 25s
March 16, 2024 18:25 25s
Merge pull request #52 from jonsterling/stdlib-2.0 Compile Agda and Deploy HTML #130: Commit 10f1ba6 pushed by HarrisonGrodin
March 16, 2024 18:00 24m 26s main
main
March 16, 2024 18:00 24m 26s
Update to agda-stdlib v2.0 Compile Agda and Deploy HTML #129: Pull request #52 synchronize by HarrisonGrodin
March 15, 2024 21:06 24m 23s stdlib-2.0
stdlib-2.0
March 15, 2024 21:06 24m 23s
Update to agda-stdlib v2.0 Compile Agda and Deploy HTML #128: Pull request #52 opened by HarrisonGrodin
March 15, 2024 17:59 9m 58s stdlib-2.0
stdlib-2.0
March 15, 2024 17:59 9m 58s
Example: Treap data structure Compile Agda and Deploy HTML #127: Pull request #50 synchronize by aricursion
November 28, 2023 03:30 14s example/treap
example/treap
November 28, 2023 03:30 14s
Example: Treap data structure Compile Agda and Deploy HTML #126: Pull request #50 synchronize by aricursion
November 28, 2023 00:02 25m 5s example/treap
example/treap
November 28, 2023 00:02 25m 5s
Example: Joinable Red Black Tree in Decalf Compile Agda and Deploy HTML #125: Pull request #51 synchronize by runmingl
November 26, 2023 04:35 24m 32s example/rbt-decalf
example/rbt-decalf
November 26, 2023 04:35 24m 32s
Example: Treap data structure Compile Agda and Deploy HTML #124: Pull request #50 synchronize by aricursion
November 21, 2023 05:23 24m 4s example/treap
example/treap
November 21, 2023 05:23 24m 4s
Example: Joinable Red Black Tree in Decalf Compile Agda and Deploy HTML #123: Pull request #51 synchronize by HarrisonGrodin
November 20, 2023 16:41 17s example/rbt-decalf
example/rbt-decalf
November 20, 2023 16:41 17s
Example: Joinable Red Black Tree in Decalf Compile Agda and Deploy HTML #122: Pull request #51 synchronize by runmingl
November 20, 2023 02:00 14s example/rbt-decalf
example/rbt-decalf
November 20, 2023 02:00 14s
Example: Joinable Red Black Tree in Decalf Compile Agda and Deploy HTML #121: Pull request #51 synchronize by runmingl
November 18, 2023 20:27 24m 33s example/rbt-decalf
example/rbt-decalf
November 18, 2023 20:27 24m 33s
Example: Joinable Red Black Tree in Decalf Compile Agda and Deploy HTML #120: Pull request #51 opened by runmingl
November 11, 2023 00:14 24m 36s example/rbt-decalf
example/rbt-decalf
November 11, 2023 00:14 24m 36s
Example: Treap data structure Compile Agda and Deploy HTML #119: Pull request #50 synchronize by aricursion
November 10, 2023 15:37 16s example/treap
example/treap
November 10, 2023 15:37 16s
Example: Treap data structure Compile Agda and Deploy HTML #118: Pull request #50 ready_for_review by aricursion
November 10, 2023 04:17 24m 38s example/treap
example/treap
November 10, 2023 04:17 24m 38s
Example: Treap data structure Compile Agda and Deploy HTML #117: Pull request #50 synchronize by aricursion
November 10, 2023 04:16 2s example/treap
example/treap
November 10, 2023 04:16 2s
Example: Treap data structure Compile Agda and Deploy HTML #116: Pull request #50 opened by aricursion
November 10, 2023 04:03 24m 38s example/treap
example/treap
November 10, 2023 04:03 24m 38s
pages build and deployment pages-build-deployment #20: by github-pages bot
October 10, 2023 03:07 37s
October 10, 2023 03:07 37s
Update AEC file Compile Agda and Deploy HTML #115: Commit 8825566 pushed by HarrisonGrodin
October 10, 2023 02:27 36m 19s main
main
October 10, 2023 02:27 36m 19s
pages build and deployment pages-build-deployment #19: by github-pages bot
October 9, 2023 05:48 35s
October 9, 2023 05:48 35s
Merge pull request #48 from jonsterling/probability/basics Compile Agda and Deploy HTML #114: Commit 32faa1c pushed by HarrisonGrodin
October 9, 2023 05:05 29m 52s main
main
October 9, 2023 05:05 29m 52s
pages build and deployment pages-build-deployment #18: by github-pages bot
October 9, 2023 04:42 34s
October 9, 2023 04:42 34s
Add probabilistic reasoning Compile Agda and Deploy HTML #113: Pull request #48 synchronize by HarrisonGrodin
October 9, 2023 04:27 30m 0s probability/basics
probability/basics
October 9, 2023 04:27 30m 0s
Add probabilistic reasoning Compile Agda and Deploy HTML #112: Pull request #48 synchronize by HarrisonGrodin
October 9, 2023 04:22 32m 3s probability/basics
probability/basics
October 9, 2023 04:22 32m 3s
Add probabilistic reasoning Compile Agda and Deploy HTML #111: Pull request #48 synchronize by HarrisonGrodin
October 9, 2023 04:20 2s probability/basics
probability/basics
October 9, 2023 04:20 2s
Merge pull request #47 from jonsterling/decalf Compile Agda and Deploy HTML #110: Commit 31c1cc8 pushed by HarrisonGrodin
October 9, 2023 04:08 33m 37s main
main
October 9, 2023 04:08 33m 37s