Skip to content

Actions: softdevteam/softdevbib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/sdci.yml
.github/workflows/sdci.yml #44: Merge group checks requested
October 15, 2024 09:25 9s
October 15, 2024 09:25 9s
Various fixes/updates spotted from the GC paper's bibliography.
.github/workflows/sdci.yml #43: Pull request #120 opened by ltratt
October 15, 2024 09:24 12s ltratt:various_fixes
October 15, 2024 09:24 12s
Rename the author field for the Rust reference
.github/workflows/sdci.yml #42: Pull request #119 opened by jacob-hughes
October 11, 2024 16:49 11s jacob-hughes:rename_rust_ref_author
October 11, 2024 16:49 11s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #41: Merge group checks requested
October 11, 2024 16:48 11s
October 11, 2024 16:48 11s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #40: Merge group checks requested
October 11, 2024 10:32 14s
October 11, 2024 10:32 14s
Add Sync removal paper
.github/workflows/sdci.yml #39: Pull request #118 opened by jacob-hughes
October 11, 2024 10:30 11s jacob-hughes:add_sync_paper
October 11, 2024 10:30 11s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #38: Merge group checks requested
October 9, 2024 11:45 10s
October 9, 2024 11:45 10s
Use real name of Shifgrethor author
.github/workflows/sdci.yml #37: Pull request #117 opened by jacob-hughes
October 9, 2024 11:33 12s jacob-hughes:update_shifgrethor_author
October 9, 2024 11:33 12s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #36: Merge group checks requested
October 9, 2024 10:19 11s
October 9, 2024 10:19 11s
Fix rustlangref.
.github/workflows/sdci.yml #35: Pull request #116 opened by ltratt
October 9, 2024 10:18 11s ltratt:fix_rustlangref
October 9, 2024 10:18 11s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #34: Merge group checks requested
October 9, 2024 08:32 12s
October 9, 2024 08:32 12s
Update LLVM author name
.github/workflows/sdci.yml #33: Pull request #115 opened by jacob-hughes
October 9, 2024 08:32 14s jacob-hughes:update_llvm_name
October 9, 2024 08:32 14s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #32: Merge group checks requested
October 8, 2024 15:17 12s
October 8, 2024 15:17 12s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #30: Merge group checks requested
October 7, 2024 13:15 12s
October 7, 2024 13:15 12s
Add LLVM statepoints document
.github/workflows/sdci.yml #29: Pull request #113 opened by jacob-hughes
October 7, 2024 13:15 16s jacob-hughes:add_llvm_gc
October 7, 2024 13:15 16s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #28: Merge group checks requested
October 7, 2024 13:07 12s
October 7, 2024 13:07 12s
Add Rust language reference
.github/workflows/sdci.yml #27: Pull request #112 opened by jacob-hughes
October 7, 2024 12:37 17s jacob-hughes:add_rust_ref
October 7, 2024 12:37 17s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #26: Merge group checks requested
August 8, 2024 14:36 12s
August 8, 2024 14:36 12s
Add Boehm C++ finalisation papers
.github/workflows/sdci.yml #25: Pull request #111 opened by jacob-hughes
August 8, 2024 14:35 11s jacob-hughes:add_cpp_gc_papers
August 8, 2024 14:35 11s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #24: Merge group checks requested
July 6, 2024 09:12 9s
July 6, 2024 09:12 9s
Add papers.
.github/workflows/sdci.yml #23: Pull request #110 synchronize by Pavel-Durov
July 6, 2024 09:11 12s Pavel-Durov:additional-papers
July 6, 2024 09:11 12s
Add papers.
.github/workflows/sdci.yml #22: Pull request #110 synchronize by Pavel-Durov
July 2, 2024 17:23 11s Pavel-Durov:additional-papers
July 2, 2024 17:23 11s
.github/workflows/sdci.yml
.github/workflows/sdci.yml #21: Merge group checks requested
July 1, 2024 18:56 14s
July 1, 2024 18:56 14s
Add papers.
.github/workflows/sdci.yml #20: Pull request #110 synchronize by Pavel-Durov
July 1, 2024 17:33 12s Pavel-Durov:additional-papers
July 1, 2024 17:33 12s