Skip to content

Actions: runmingl/stop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update readme Compile Agda and Deploy HTML #43: Commit d82ef22 pushed by runmingl
3m 59s main
main
3m 59s
fix errors in readme Compile Agda and Deploy HTML #42: Commit ec9f9f7 pushed by runmingl
4m 5s main
main
4m 5s
aec readme update Compile Agda and Deploy HTML #41: Commit abde6dd pushed by runmingl
4m 24s main
main
4m 24s
Merge pull request #1 from Daggtex/smallDivSound Compile Agda and Deploy HTML #40: Commit 9d00ad0 pushed by Daggtex
5m 42s main
main
5m 42s
add license Compile Agda and Deploy HTML #39: Commit 7c9ea69 pushed by runmingl
4m 13s main
main
4m 13s
update workflow Compile Agda and Deploy HTML #38: Commit ff77591 pushed by runmingl
4m 13s main
main
4m 13s
update aec.md Compile Agda and Deploy HTML #37: Commit a4f8747 pushed by runmingl
4m 8s main
main
4m 8s
update aec.md Compile Agda and Deploy HTML #36: Commit e89672f pushed by runmingl
4m 21s main
main
4m 21s
comments Compile Agda and Deploy HTML #35: Commit 9b13b51 pushed by runmingl
4m 6s main
main
4m 6s
prepare for artifact evaluation Compile Agda and Deploy HTML #34: Commit 10fe9eb pushed by runmingl
3m 57s main
main
3m 57s
small step completeness Compile Agda and Deploy HTML #33: Commit 4db7569 pushed by runmingl
4m 0s main
main
4m 0s
clean up Compile Agda and Deploy HTML #32: Commit 8515748 pushed by runmingl
4m 1s main
main
4m 1s
rework trans Compile Agda and Deploy HTML #31: Commit a23658e pushed by runmingl
4m 2s main
main
4m 2s
html Compile Agda and Deploy HTML #30: Commit 3216892 pushed by runmingl
3m 53s main
main
3m 53s
small step soundness Compile Agda and Deploy HTML #29: Commit 3b5bb20 pushed by runmingl
4m 18s main
main
4m 18s
arxiv Compile Agda and Deploy HTML #28: Commit 69ea73e pushed by runmingl
3m 31s main
main
3m 31s
very funny Compile Agda and Deploy HTML #27: Commit d5f4ad9 pushed by runmingl
3m 39s main
main
3m 39s
get rid of unused subst Compile Agda and Deploy HTML #26: Commit 772d176 pushed by runmingl
3m 52s main
main
3m 52s
git rid of unused subst Compile Agda and Deploy HTML #25: Commit 5478141 pushed by runmingl
3m 44s main
main
3m 44s
more monoid arithmetic Compile Agda and Deploy HTML #24: Commit a4f020c pushed by runmingl
3m 54s main
main
3m 54s
update readme Compile Agda and Deploy HTML #23: Commit 3beb283 pushed by runmingl
4m 14s main
main
4m 14s
remove 2.7.0 Compile Agda and Deploy HTML #22: Commit 8e38328 pushed by runmingl
3m 51s main
main
3m 51s
specify stdlib 2.1.1 Compile Agda and Deploy HTML #21: Commit 1b7ebc6 pushed by runmingl
2m 1s main
main
2m 1s
specify stdlib 2.1 Compile Agda and Deploy HTML #20: Commit 964ce60 pushed by runmingl
1m 44s main
main
1m 44s
use solver Compile Agda and Deploy HTML #19: Commit a900a2a pushed by runmingl
2m 25s main
main
2m 25s