Skip to content

Actions: jvanbruegge/binder_datatypes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
341 workflow runs
341 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add BMV monads Build thys #341: Pull request #60 synchronize by jvanbruegge
March 3, 2025 15:17 3s bmv_monads
bmv_monads
March 3, 2025 15:17 3s
Add BMV monads Build thys #340: Pull request #60 synchronize by jvanbruegge
February 22, 2025 10:50 2s bmv_monads
bmv_monads
February 22, 2025 10:50 2s
Add BMV monads Build thys #339: Pull request #60 synchronize by jvanbruegge
February 19, 2025 12:55 3s bmv_monads
bmv_monads
February 19, 2025 12:55 3s
Add BMV monads Build thys #338: Pull request #60 synchronize by jvanbruegge
February 19, 2025 10:56 3s bmv_monads
bmv_monads
February 19, 2025 10:56 3s
Add BMV monads Build thys #337: Pull request #60 synchronize by jvanbruegge
February 18, 2025 10:55 3s bmv_monads
bmv_monads
February 18, 2025 10:55 3s
Add BMV monads Build thys #336: Pull request #60 synchronize by jvanbruegge
February 18, 2025 09:11 3s bmv_monads
bmv_monads
February 18, 2025 09:11 3s
Build thys Build thys #335: by jvanbruegge
February 17, 2025 11:06 13m 38s master
master
February 17, 2025 11:06 13m 38s
Merge pull request #64 from jvanbruegge/poplmark2b Build thys #334: Commit 3f508e0 pushed by jvanbruegge
February 16, 2025 21:13 13m 14s master
master
February 16, 2025 21:13 13m 14s
Poplmark 2b Build thys #333: Pull request #64 synchronize by jvanbruegge
February 16, 2025 20:50 13m 21s poplmark2b
poplmark2b
February 16, 2025 20:50 13m 21s
Poplmark 2b Build thys #332: Pull request #64 ready_for_review by jvanbruegge
February 16, 2025 20:01 25s poplmark2b
poplmark2b
February 16, 2025 20:01 25s
Poplmark 2b Build thys #331: Pull request #64 synchronize by jvanbruegge
February 16, 2025 20:00 3s poplmark2b
poplmark2b
February 16, 2025 20:00 3s
Poplmark 2b Build thys #330: Pull request #64 synchronize by jvanbruegge
February 3, 2025 11:54 2s poplmark2b
poplmark2b
February 3, 2025 11:54 2s
Poplmark 2b Build thys #329: Pull request #64 opened by jvanbruegge
February 3, 2025 11:28 3s poplmark2b
poplmark2b
February 3, 2025 11:28 3s
Allow to specify names of FVars and permute functions Build thys #328: Commit 921e7cf pushed by jvanbruegge
January 29, 2025 00:06 13m 30s master
master
January 29, 2025 00:06 13m 30s
Add BMV monads Build thys #327: Pull request #60 synchronize by jvanbruegge
January 9, 2025 16:08 3s bmv_monads
bmv_monads
January 9, 2025 16:08 3s
Add BMV monads Build thys #326: Pull request #60 synchronize by jvanbruegge
January 6, 2025 12:26 3s bmv_monads
bmv_monads
January 6, 2025 12:26 3s
Add BMV monads Build thys #325: Pull request #60 synchronize by jvanbruegge
January 4, 2025 16:24 3s bmv_monads
bmv_monads
January 4, 2025 16:24 3s
Add BMV monads Build thys #324: Pull request #60 synchronize by jvanbruegge
January 1, 2025 13:38 2s bmv_monads
bmv_monads
January 1, 2025 13:38 2s
Add BMV monads Build thys #323: Pull request #60 synchronize by jvanbruegge
January 1, 2025 13:16 2s bmv_monads
bmv_monads
January 1, 2025 13:16 2s
Add BMV monads Build thys #322: Pull request #60 synchronize by jvanbruegge
December 26, 2024 17:17 2s bmv_monads
bmv_monads
December 26, 2024 17:17 2s
Register user-defined mrbnfs automatically as bnfs Build thys #321: Commit 77c5462 pushed by jvanbruegge
December 26, 2024 17:16 13m 32s master
master
December 26, 2024 17:16 13m 32s
Add BMV monads Build thys #320: Pull request #60 synchronize by jvanbruegge
December 26, 2024 17:09 2s bmv_monads
bmv_monads
December 26, 2024 17:09 2s
Add BMV monads Build thys #319: Pull request #60 synchronize by jvanbruegge
December 26, 2024 14:35 2s bmv_monads
bmv_monads
December 26, 2024 14:35 2s
Add BMV monads Build thys #318: Pull request #60 synchronize by jvanbruegge
December 26, 2024 14:00 3s bmv_monads
bmv_monads
December 26, 2024 14:00 3s
Add BMV monads Build thys #317: Pull request #60 synchronize by jvanbruegge
December 25, 2024 18:04 2s bmv_monads
bmv_monads
December 25, 2024 18:04 2s