Skip to content

Actions: ReplicaTest/REPLica

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 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
github_actions in /. - Update #1394902145 Dependabot Updates #7: by dependabot Bot
21s main
main
21s
github_actions in /. - Update #1344874528 Dependabot Updates #6: by dependabot Bot
31s main
main
31s
Bump cachix/cachix-action from 16 to 17 nix test #126: Pull request #115 opened by dependabot Bot
3m 20s dependabot/github_actions/cachix/cachix-action-17
dependabot/github_actions/cachix/cachix-action-17
3m 20s
github_actions in /. - Update #1303919549 Dependabot Updates #5: by dependabot Bot
30s main
main
30s
github_actions in /. - Update #1263551096 Dependabot Updates #4: by dependabot Bot
25s main
main
25s
github_actions in /. - Update #1229289912 Dependabot Updates #3: by dependabot Bot
27s main
main
27s
Add info tag subcommand to list tags with test counts (#114) nix test #125: Commit b658826 pushed by berewt
3m 4s main
main
3m 4s
Add info tag subcommand to list tags with test counts nix test #124: Pull request #114 opened by berewt
4m 0s info-tags
info-tags
4m 0s
github_actions in /. - Update #1196850064 Dependabot Updates #2: by dependabot Bot
30s main
main
30s
Add documentation in the Other and Core modules (#113) nix test #123: Commit 8b36b25 pushed by berewt
2m 2s main
main
2m 2s
Add documentation in the Other and Core modules nix test #122: Pull request #113 synchronize by berewt
2m 19s documentation
documentation
2m 19s
Tidy up code (#112) nix test #121: Commit e2f513c pushed by berewt
1m 52s main
main
1m 52s
Tidy up code nix test #120: Pull request #112 synchronize by berewt
2m 46s cleanup
cleanup
2m 46s
Tidy up code nix test #119: Pull request #112 opened by berewt
3m 14s cleanup
cleanup
3m 14s
Set up release v0.6.2 (#111) nix test #118: Commit a6b8146 pushed by berewt
2m 1s main
main
2m 1s
Set up release v0.6.2 nix test #117: Pull request #111 opened by berewt
2m 32s release
release
2m 32s
Migrate to Idris0.8 (#110) nix test #116: Commit 3fa16e6 pushed by berewt
2m 1s main
main
2m 1s
Migrate to Idris0.8 nix test #115: Pull request #110 synchronize by berewt
17m 15s idris0.8
idris0.8
17m 15s
Migrate to Idris0.8 nix test #114: Pull request #110 synchronize by berewt
39s idris0.8
idris0.8
39s
use idris2 from nixpkgs (#109) nix test #113: Commit da61704 pushed by berewt
1m 46s main
main
1m 46s
use idris2 from nixpkgs nix test #112: Pull request #109 opened by berewt
2m 28s nixpkgs-idris
nixpkgs-idris
2m 28s
Add a few comments and minor refactoring (#108) nix test #111: Commit 35e8fb0 pushed by berewt
1m 45s main
main
1m 45s
Add a few comments to the codebase nix test #110: Pull request #108 opened by berewt
2m 26s documentation
documentation
2m 26s
Cleaner compinit for zsh (#107) nix test #109: Commit e3e69c4 pushed by berewt
2m 28s main
main
2m 28s
Cleaner compinit for zsh nix test #108: Pull request #107 opened by berewt
2m 30s compinit
compinit
2m 30s