Skip to content

Actions: dewert99/plat-egg

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow path compression to be disabled by undo log
Build and Test #93: Commit b2b8397 pushed by dewert99
December 21, 2024 03:24 4m 51s main
December 21, 2024 03:24 4m 51s
Allow path compression to be disabled by undo log
Build and Test #92: Pull request #11 synchronize by dewert99
December 21, 2024 03:18 5m 26s no-path-compress
December 21, 2024 03:18 5m 26s
Fix
Build and Test #91: Commit cd5993f pushed by dewert99
December 21, 2024 03:17 4m 48s no-path-compress
December 21, 2024 03:17 4m 48s
Allow path compression to be disabled by undo log
Build and Test #90: Pull request #11 synchronize by dewert99
December 21, 2024 03:02 4m 3s no-path-compress
December 21, 2024 03:02 4m 3s
Fix serde
Build and Test #89: Commit e0b750a pushed by dewert99
December 21, 2024 03:02 4m 3s no-path-compress
December 21, 2024 03:02 4m 3s
Allow path compression to be disabled by undo log
Build and Test #88: Pull request #11 synchronize by dewert99
December 21, 2024 02:46 4m 5s no-path-compress
December 21, 2024 02:46 4m 5s
Allow path compression to be disabled but undo log
Build and Test #87: Commit fb3861d pushed by dewert99
December 21, 2024 02:46 3m 58s no-path-compress
December 21, 2024 02:46 3m 58s
Allow path compression to be disabled by undo log
Build and Test #86: Pull request #11 opened by dewert99
December 21, 2024 02:43 1m 40s no-path-compress
December 21, 2024 02:43 1m 40s
Allow path compression to be disabled but undo log
Build and Test #85: Commit 6dc6ca4 pushed by dewert99
December 21, 2024 01:51 1m 31s no-path-compress
December 21, 2024 01:51 1m 31s
Switch to using default-vec2
Build and Test #84: Pull request #10 synchronize by dewert99
December 17, 2024 02:10 5m 3s default-vec
December 17, 2024 02:10 5m 3s
Switch to using default-vec2
Build and Test #83: Commit da3f0a2 pushed by dewert99
December 17, 2024 02:10 4m 46s default-vec
December 17, 2024 02:10 4m 46s
Switch to using default-vec2
Build and Test #82: Pull request #10 opened by dewert99
December 17, 2024 01:57 4m 38s default-vec
December 17, 2024 01:57 4m 38s
Switch to using default-vec2
Build and Test #81: Commit 572f54b pushed by dewert99
December 17, 2024 01:55 4m 57s default-vec
December 17, 2024 01:55 4m 57s
Switched from storing eclasses in a HashMap to a Vec
Build and Test #80: Pull request #9 synchronize by dewert99
December 10, 2024 03:54 4m 30s classes-vec
December 10, 2024 03:54 4m 30s
Fix serde and warnings
Build and Test #79: Commit dc73314 pushed by dewert99
December 10, 2024 03:54 4m 41s classes-vec
December 10, 2024 03:54 4m 41s
Switched from storing eclasses in a HashMap to a Vec
Build and Test #78: Pull request #9 opened by dewert99
December 10, 2024 03:42 6m 51s classes-vec
December 10, 2024 03:42 6m 51s
Switched from storing eclasses in a HashMap to a Vec
Build and Test #77: Commit 81cc122 pushed by dewert99
December 10, 2024 03:42 7m 25s classes-vec
December 10, 2024 03:42 7m 25s
Add fast-forward commit action
Build and Test #76: Commit 0eb35e4 pushed by dewert99
December 10, 2024 03:40 7m 8s main
December 10, 2024 03:40 7m 8s
Merge pull request #8 from dewert99/bitset-insert
Build and Test #75: Commit 3457c7c pushed by dewert99
May 30, 2024 17:14 4m 38s SMT-COMP2024
May 30, 2024 17:14 4m 38s
Merge pull request #8 from dewert99/bitset-insert
Build and Test #74: Commit 3457c7c pushed by dewert99
May 30, 2024 00:10 4m 33s main
May 30, 2024 00:10 4m 33s
Fixed return value of BitSet::insert to match HashSet
Build and Test #73: Pull request #8 opened by dewert99
May 30, 2024 00:03 5m 11s bitset-insert
May 30, 2024 00:03 5m 11s
Fixed return value of BitSet::insert to match HashSet
Build and Test #72: Commit 9706a37 pushed by dewert99
May 30, 2024 00:03 4m 41s bitset-insert
May 30, 2024 00:03 4m 41s
Merge pull request #7 from dewert99/bitset
Build and Test #71: Commit 4c1cd1b pushed by dewert99
May 29, 2024 21:33 4m 25s main
May 29, 2024 21:33 4m 25s
Make bitset public
Build and Test #70: Pull request #7 opened by dewert99
May 29, 2024 21:28 4m 32s bitset
May 29, 2024 21:28 4m 32s
Make bitset public
Build and Test #69: Commit 5e85eb7 pushed by dewert99
May 29, 2024 21:28 4m 27s bitset
May 29, 2024 21:28 4m 27s