Skip to content

Actions: Entrolution/echidna

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
203 workflow runs
203 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
Bump softprops/action-gh-release from 2 to 3 CI #143: Pull request #55 opened by dependabot bot
2m 39s dependabot/github_actions/softprops/action-gh-release-3
dependabot/github_actions/softprops/action-gh-release-3
2m 39s
Bump actions/setup-java from 4 to 5 CI #142: Pull request #54 opened by dependabot bot
2m 42s dependabot/github_actions/actions/setup-java-5
dependabot/github_actions/actions/setup-java-5
2m 42s
cargo in /. - Update #1328720126 Dependabot Updates #35: by dependabot bot
56s main
main
56s
github_actions in /. - Update #1328720132 Dependabot Updates #34: by dependabot bot
40s main
main
40s
Merge pull request #53 from Entrolution/feat/tla-specs-tape-optimizer TLA+ Specs #6: Commit 99aae49 pushed by gvonness-apolitical
41s main
main
41s
Merge pull request #53 from Entrolution/feat/tla-specs-tape-optimizer CI #141: Commit 99aae49 pushed by gvonness-apolitical
1m 55s main
main
1m 55s
Add TLA+ formal specifications for bytecode tape optimizer CI #140: Pull request #53 opened by gvonness-apolitical
2m 15s feat/tla-specs-tape-optimizer
feat/tla-specs-tape-optimizer
2m 15s
Add TLA+ formal specifications for bytecode tape optimizer TLA+ Specs #5: Pull request #53 opened by gvonness-apolitical
42s feat/tla-specs-tape-optimizer
feat/tla-specs-tape-optimizer
42s
Add TLA+ formal specifications for bytecode tape optimizer TLA+ Specs #4: Commit 78e84fc pushed by gvonness-apolitical
48s feat/tla-specs-tape-optimizer
feat/tla-specs-tape-optimizer
48s
Merge pull request #52 from Entrolution/feat/tla-specs-checkpointing CI #139: Commit cca4c6f pushed by gvonness-apolitical
1m 55s main
main
1m 55s
Merge pull request #52 from Entrolution/feat/tla-specs-checkpointing TLA+ Specs #3: Commit cca4c6f pushed by gvonness-apolitical
15s main
main
15s
Add TLA+ formal specs for gradient checkpointing TLA+ Specs #2: Pull request #52 opened by gvonness-apolitical
16s feat/tla-specs-checkpointing
feat/tla-specs-checkpointing
16s
Add TLA+ formal specs for gradient checkpointing CI #138: Pull request #52 opened by gvonness-apolitical
1m 52s feat/tla-specs-checkpointing
feat/tla-specs-checkpointing
1m 52s
Add TLA+ formal specifications for gradient checkpointing TLA+ Specs #1: Commit 19a2e4c pushed by gvonness-apolitical
14s feat/tla-specs-checkpointing
feat/tla-specs-checkpointing
14s
Fix 18 numerical correctness issues, 0.8.2 (#51) Publish #7: Commit 3152af5 pushed by gvonness-apolitical
4m 39s v0.8.2
v0.8.2
4m 39s
Fix 18 numerical correctness issues, 0.8.2 (#51) CI #137: Commit 3152af5 pushed by gvonness-apolitical
59s main
main
59s
Fix 18 numerical correctness issues, 0.8.2 CI #136: Pull request #51 synchronize by gvonness-apolitical
58s fix/harden-cycle-5
fix/harden-cycle-5
58s
Fix 18 numerical correctness issues, 0.8.2 CI #135: Pull request #51 opened by gvonness-apolitical
1m 0s fix/harden-cycle-5
fix/harden-cycle-5
1m 0s
Harden structural risks: 35 regression tests, assert promotions, 0.8.… CI #134: Commit e292aba pushed by gvonness-apolitical
1m 9s main
main
1m 9s
Harden structural risks: 35 regression tests, assert promotions, 0.8.1 CI #133: Pull request #50 opened by gvonness-apolitical
1m 2s fix/structural-risk-hardening
fix/structural-risk-hardening
1m 2s
Fix 16 findings from deep codebase bug hunt (#49) CI #132: Commit a9eb272 pushed by gvonness-apolitical
55s main
main
55s
Fix 16 findings from deep codebase bug hunt CI #131: Pull request #49 synchronize by gvonness-apolitical
55s fix/harden-cycle-1
fix/harden-cycle-1
55s
Fix 16 findings from deep codebase bug hunt CI #130: Pull request #49 opened by gvonness-apolitical
58s fix/harden-cycle-1
fix/harden-cycle-1
58s
Merge pull request #48 from Entrolution/fix/remove-bug-hunt-comment-bias CI #129: Commit 2e4375c pushed by gvonness-apolitical
55s main
main
55s
Remove bug-hunt-specific prefixes from code comments CI #128: Pull request #48 opened by gvonness-apolitical
56s fix/remove-bug-hunt-comment-bias
fix/remove-bug-hunt-comment-bias
56s