Skip to content

Actions: andreasabel/continuous-normalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CI: bump action versions to latest build #19: Commit b309dab pushed by andreasabel
1m 14s master
master
1m 14s
Bump versions to agda 2.8.0 and stdlib 2.3 (#3) build #18: Commit ff2e084 pushed by andreasabel
12s master
master
12s
Bump versions to agda 2.8.0 and stdlib 2.3 build #17: Pull request #3 synchronize by jmchapman
1m 1s ci-bump-agda
ci-bump-agda
1m 1s
added flake.lock to .gitignore build #16: Commit 13ce327 pushed by jmchapman
1m 1s ci-bump-agda
ci-bump-agda
1m 1s
removed some commented out stuff build #15: Commit f5748bb pushed by jmchapman
1m 7s ci-bump-agda
ci-bump-agda
1m 7s
Bump versions to agda 2.8.0 and stdlib 2.3 build #14: Pull request #3 synchronize by jmchapman
1m 16s ci-bump-agda
ci-bump-agda
1m 16s
switched to Andreas' runner build #13: Commit 7e9f0aa pushed by jmchapman
1m 29s ci-bump-agda
ci-bump-agda
1m 29s
Bump versions to agda 2.8.0 and stdlib 2.3 build #12: Pull request #3 opened by jmchapman
11s ci-bump-agda
ci-bump-agda
11s
src fixes for agda 2.8.0+std-lib 2.3 build #11: Commit 4485b53 pushed by jmchapman
9s ci-bump-agda
ci-bump-agda
9s
further bump to agda 2.8.0 and std-lib 2.3 build #10: Commit 1bbf87f pushed by jmchapman
8s ci-bump-agda
ci-bump-agda
8s
bump action versions build #9: Commit d57dc41 pushed by jmchapman
26s ci-bump-agda
ci-bump-agda
26s
bump action from v3 to v4 build #8: Commit 459c51d pushed by jmchapman
1m 2s ci-bump-agda
ci-bump-agda
1m 2s
bump action from v3 to v4 build #7: Commit ed6a31e pushed by jmchapman
7s ci-bump-agda
ci-bump-agda
7s
bump agda + std-lib CI pin build #6: Commit 67219ba pushed by jmchapman
10s ci-bump-agda
ci-bump-agda
10s