Skip to content

Actions: runtimeverification/mir-semantics

Actions

Test Cachix Pin

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-cachix-pin.yml
12 workflow runs
12 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
Test Cachix Pin Test Cachix Pin #12: Manually run by FWBlueWizard
12s hotfix/cachix-pin-checks
hotfix/cachix-pin-checks
12s
Test Cachix Pin Test Cachix Pin #11: Manually run by FWBlueWizard
1m 43s hotfix/cachix-pin-checks
hotfix/cachix-pin-checks
1m 43s
Test Cachix Pin Test Cachix Pin #10: Manually run by FWBlueWizard
24s hotfix/cachix-pin-checks
hotfix/cachix-pin-checks
24s
Test Cachix Pin Test Cachix Pin #9: Manually run by FWBlueWizard
4m 54s hotfix/cachix-pin-checks
hotfix/cachix-pin-checks
4m 54s
Test Cachix Pin Test Cachix Pin #8: Manually run by FWBlueWizard
4m 13s master
master
4m 13s
Test Cachix Pin Test Cachix Pin #7: Manually run by FWBlueWizard
33s master
master
33s
Test Cachix Pin Test Cachix Pin #6: Manually run by FWBlueWizard
3m 33s master
master
3m 33s
Test Cachix Pin Test Cachix Pin #5: Manually run by FWBlueWizard
2m 56s master
master
2m 56s
Test Cachix Pin Test Cachix Pin #4: Manually run by FWBlueWizard
6m 7s release
release
6m 7s
Test Cachix Pin Test Cachix Pin #3: Manually run by FWBlueWizard
3m 37s master
master
3m 37s
Test Cachix Pin Test Cachix Pin #2: Manually run by FWBlueWizard
5m 14s master
master
5m 14s
Test Cachix Pin Test Cachix Pin #1: Manually run by FWBlueWizard
3m 40s master
master
3m 40s