Skip to content

Actions: dconnolly/starfortress

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 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
Check for ProofFrog updates Check for ProofFrog updates #8: Scheduled
7s main
main
7s
Add deterministic/injective modifiers Check ProofFrog proofs #15: Commit aa0e362 pushed by dconnolly
57s main
main
57s
Update to new lemma functionality and simplify SeedKeyGen proof Check ProofFrog proofs #14: Pull request #6 synchronize by dconnolly
31s dstebila:ds-lemma
dstebila:ds-lemma
31s
Update ProofFrog to 5fee4a3 Check ProofFrog proofs #13: Commit 8859883 pushed by dconnolly
55s main
main
55s
Update to new lemma functionality and simplify SeedKeyGen proof Check ProofFrog proofs #12: Pull request #6 synchronize by dstebila
1m 2s dstebila:ds-lemma
dstebila:ds-lemma
1m 2s
Update to new lemma functionality and simplify SeedKeyGen proof Check ProofFrog proofs #11: Pull request #6 synchronize by dstebila
57s dstebila:ds-lemma
dstebila:ds-lemma
57s
Check for ProofFrog updates Check for ProofFrog updates #7: Scheduled
58s main
main
58s
Update to new lemma functionality and simplify SeedKeyGen proof Check ProofFrog proofs #10: Pull request #6 opened by dstebila
1m 10s dstebila:ds-lemma
dstebila:ds-lemma
1m 10s
Update requirements.txt pinned commit of ProofFrog Check ProofFrog proofs #9: Commit 92a1d58 pushed by dconnolly
1m 3s main
main
1m 3s
Working with ProofFrog commit version 6a646e3780f3189be4114084fdb0647… Check ProofFrog proofs #8: Commit f0e3d0b pushed by dconnolly
31s main
main
31s
Check for ProofFrog updates Check for ProofFrog updates #6: Scheduled
11s main
main
11s
Check for ProofFrog updates Check for ProofFrog updates #5: Scheduled
1m 11s main
main
1m 11s
Pin ~latest ProofFrog commit Check ProofFrog proofs #7: Commit fb8e33d pushed by dconnolly
2m 14s main
main
2m 14s
Merge Douglas's PR but keep going with RandomFunctions Check ProofFrog proofs #6: Commit e1b30c8 pushed by dconnolly
28s main
main
28s
Check for ProofFrog updates Check for ProofFrog updates #4: Manually run by dconnolly
10s update-prooffrog-9ec5e01
update-prooffrog-9ec5e01
10s
Check for ProofFrog updates Check for ProofFrog updates #3: Manually run by dconnolly
32s main
main
32s
Check for ProofFrog updates Check for ProofFrog updates #2: Manually run by dconnolly
35s main
main
35s
Check for ProofFrog updates Check for ProofFrog updates #1: Scheduled
11s main
main
11s
Update CI to fail when proofs fail Check ProofFrog proofs #5: Commit a6cc952 pushed by dconnolly
1m 16s main
main
1m 16s
Update to work with the current version of ProofFrog Check ProofFrog proofs #4: Pull request #1 opened by dstebila
30s dstebila:ds-proof-fixes
dstebila:ds-proof-fixes
30s
Change url to ProofFrog for CI Check ProofFrog proofs #3: Commit 3cf9e6d pushed by dconnolly
1m 19s main
main
1m 19s
Lastest Check ProofFrog proofs #2: Commit 4cd1586 pushed by dconnolly
11s main
main
11s
Lastest Check ProofFrog proofs #1: Commit 4cd1586 pushed by dconnolly
15s master
master
15s