Skip to content

Actions: ReplicaTest/REPLica

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix table layout (#106) nix test #107: Commit f3f95c4 pushed by berewt
2m 11s main
main
2m 11s
Fix table layout nix test #106: Pull request #106 opened by berewt
2m 45s doc
doc
2m 45s