Skip to content

Actions: digraphs/Digraphs

Actions

OS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
os.yml
187 workflow run results
187 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add hash function for digraphs OS #187: Pull request #675 synchronize by reiniscirpons
August 27, 2024 18:10 22m 9s reiniscirpons:digraph-hash
reiniscirpons:digraph-hash
August 27, 2024 18:10 22m 9s
Add hash function for digraphs OS #186: Pull request #675 synchronize by reiniscirpons
August 27, 2024 18:04 6m 47s reiniscirpons:digraph-hash
reiniscirpons:digraph-hash
August 27, 2024 18:04 6m 47s
Add hash function for digraphs OS #185: Pull request #675 synchronize by reiniscirpons
August 27, 2024 17:45 16m 33s reiniscirpons:digraph-hash
reiniscirpons:digraph-hash
August 27, 2024 17:45 16m 33s
Add hash function for digraphs OS #184: Pull request #675 opened by reiniscirpons
August 27, 2024 16:20 17m 49s reiniscirpons:digraph-hash
reiniscirpons:digraph-hash
August 27, 2024 16:20 17m 49s
Update my web-address OS #183: Commit 242ff04 pushed by james-d-mitchell
August 27, 2024 15:33 19m 44s main
main
August 27, 2024 15:33 19m 44s
Update version numbers etc for v1.8.0 OS #182: Commit e6b2748 pushed by james-d-mitchell
August 27, 2024 15:32 1m 6s main
main
August 27, 2024 15:32 1m 6s
Update my web-address OS #181: Pull request #674 opened by markuspf
August 27, 2024 14:54 17m 32s markuspf:feature/update-web-markusp
markuspf:feature/update-web-markusp
August 27, 2024 14:54 17m 32s
Update version numbers etc for v1.8.0 OS #180: Commit e6b2748 pushed by james-d-mitchell
August 27, 2024 13:37 17m 1s stable-1.8
stable-1.8
August 27, 2024 13:37 17m 1s
Release candidate for v1.8.0 OS #179: Pull request #673 opened by james-d-mitchell
August 27, 2024 13:01 19m 33s james-d-mitchell:rc-v1.8.0
james-d-mitchell:rc-v1.8.0
August 27, 2024 13:01 19m 33s
Release candidate for v1.8.0 OS #178: Pull request #672 opened by james-d-mitchell
August 27, 2024 12:47 16m 5s rc-v1.8.0
rc-v1.8.0
August 27, 2024 12:47 16m 5s
OS OS #177: Scheduled
August 27, 2024 03:37 19m 11s main
main
August 27, 2024 03:37 19m 11s
Resolve https://github.com/gap-system/gap/issues/5761 OS #176: Commit 7ddd785 pushed by james-d-mitchell
August 26, 2024 11:36 18m 52s main
main
August 26, 2024 11:36 18m 52s
Load kernel ext OS #175: Pull request #668 synchronize by james-d-mitchell
August 26, 2024 11:10 21m 27s james-d-mitchell:load-kernel-ext
james-d-mitchell:load-kernel-ext
August 26, 2024 11:10 21m 27s
Load kernel ext OS #174: Pull request #668 opened by james-d-mitchell
August 26, 2024 10:49 17m 41s james-d-mitchell:load-kernel-ext
james-d-mitchell:load-kernel-ext
August 26, 2024 10:49 17m 41s
OS OS #173: Scheduled
August 26, 2024 03:39 18m 27s main
main
August 26, 2024 03:39 18m 27s
OS OS #172: Scheduled
August 25, 2024 03:37 18m 1s main
main
August 25, 2024 03:37 18m 1s
OS OS #171: Scheduled
August 24, 2024 03:36 19m 5s main
main
August 24, 2024 03:36 19m 5s
OS OS #170: Scheduled
August 23, 2024 03:37 18m 41s main
main
August 23, 2024 03:37 18m 41s
Fix code coverage script on certain platforms. OS #169: Commit fa9462c pushed by james-d-mitchell
August 22, 2024 11:26 18m 55s main
main
August 22, 2024 11:26 18m 55s
Fix code coverage script on certain platforms. OS #168: Pull request #667 opened by reiniscirpons
August 22, 2024 11:03 19m 18s reiniscirpons:fix-coverage-script
reiniscirpons:fix-coverage-script
August 22, 2024 11:03 19m 18s
OS OS #167: Scheduled
August 22, 2024 03:37 19m 10s main
main
August 22, 2024 03:37 19m 10s
OS OS #166: Scheduled
August 21, 2024 03:37 19m 43s main
main
August 21, 2024 03:37 19m 43s
OS OS #165: Scheduled
August 20, 2024 03:38 18m 9s main
main
August 20, 2024 03:38 18m 9s
OS OS #164: Scheduled
August 19, 2024 03:38 17m 18s main
main
August 19, 2024 03:38 17m 18s
OS OS #163: Scheduled
August 18, 2024 03:36 19m 2s main
main
August 18, 2024 03:36 19m 2s