Skip to content

Actions: agda/agda2lambox

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
104 workflow runs
104 workflow runs

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
Webpage: add favicon CI #140: Commit b4a9d06 pushed by omelkonian
13m 3s master
master
13m 3s
Webpage: add favicon CI #139: Pull request #63 opened by omelkonian
13m 13s orestis/peregrine-icon
orestis/peregrine-icon
13m 13s
CI: fix CertiRocq evaluation CI #138: Commit 1f0dc0a pushed by omelkonian
12m 56s master
master
12m 56s
CI: fix CertiRocq evaluation CI #137: Pull request #62 opened by omelkonian
22s orestis/fix-rocq-eval
orestis/fix-rocq-eval
22s
CI: run λ-box and Rust outputs CI #136: Commit c2fc374 pushed by omelkonian
10m 19s master
master
10m 19s
CI: run λ-box and Rust outputs CI #135: Pull request #59 synchronize by omelkonian
10m 12s orestis/run-peregrine
orestis/run-peregrine
10m 12s
CI: run λ-box and Rust outputs CI #134: Pull request #59 synchronize by omelkonian
7m 40s orestis/run-peregrine
orestis/run-peregrine
7m 40s
CI: run λ-box and Rust outputs CI #133: Pull request #59 synchronize by omelkonian
9m 53s orestis/run-peregrine
orestis/run-peregrine
9m 53s
CI: try to fix OPAM cache CI #132: Commit 4e65649 pushed by omelkonian
1h 22m 58s master
master
1h 22m 58s
CI: try to fix OPAM cache CI #131: Pull request #61 opened by omelkonian
22s orestis/fix-opam-cache
orestis/fix-opam-cache
22s
CI: run λ-box and Rust outputs CI #130: Pull request #59 synchronize by omelkonian
1h 6m 39s orestis/run-peregrine
orestis/run-peregrine
1h 6m 39s
CI: run λ-box and Rust outputs CI #129: Pull request #59 synchronize by omelkonian
16m 27s orestis/run-peregrine
orestis/run-peregrine
16m 27s
CI: run λ-box and Rust outputs CI #128: Pull request #59 synchronize by omelkonian
2m 57s orestis/run-peregrine
orestis/run-peregrine
2m 57s
CI: run λ-box and Rust outputs CI #127: Pull request #59 synchronize by omelkonian
3m 52s orestis/run-peregrine
orestis/run-peregrine
3m 52s
CI: run λ-box and Rust outputs CI #126: Pull request #59 synchronize by omelkonian
4m 15s orestis/run-peregrine
orestis/run-peregrine
4m 15s
CI: try out OPAM caching CI #125: Commit 3147e30 pushed by omelkonian
1h 7m 6s master
master
1h 7m 6s
CI: run λ-box and Rust outputs CI #124: Pull request #59 synchronize by omelkonian
1h 3m 24s orestis/run-peregrine
orestis/run-peregrine
1h 3m 24s
CI: try out OPAM caching CI #123: Pull request #60 opened by omelkonian
1h 5m 4s orestis/ci-opam-cache
orestis/ci-opam-cache
1h 5m 4s
CI: run λ-box and Rust outputs CI #122: Pull request #59 synchronize by omelkonian
1h 4m 16s orestis/run-peregrine
orestis/run-peregrine
1h 4m 16s
CI: run λ-box and Rust outputs CI #121: Pull request #59 synchronize by omelkonian
1h 4m 3s orestis/run-peregrine
orestis/run-peregrine
1h 4m 3s
CI: run λ-box and Rust outputs CI #120: Pull request #59 opened by omelkonian
12m 31s orestis/run-peregrine
orestis/run-peregrine
12m 31s
Where clauses fix CI #119: Pull request #58 synchronize by flupe
1m 47s issue52
issue52
1m 47s
Where clauses fix CI #118: Pull request #58 synchronize by flupe
9m 16s issue52
issue52
9m 16s
Where clauses fix CI #117: Pull request #58 synchronize by flupe
2m 37s issue52
issue52
2m 37s
Where clauses fix CI #116: Pull request #58 opened by flupe
4m 7s issue52
issue52
4m 7s