Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • stdpp
2 results
Created with Raphaël 2.2.02Nov120Sep13Aug26Jun18520May25Apr17Mar528Feb21207115Jan19Dec9Nov823Oct30Sep191813Jul16Jun6130May251918915Mar1413109765432128Feb272621121115Jan5Dec432130Nov21Oct876543125Sep2417161520Aug19181615141312108765428Jul2726252322212019181615131211765432130Jun1Jul30Jun2930292827282726252423242322212019181718171615161514131211109876131May3029282725242322212019181716151413121110976543230Apr2928downgrade Iris to 3.2.0 to depend on something stablemastermasterpartial warnings managementfix ocaml version for recent Coqreduce to 1 job per pipelineBump iris (no changes needed)Bump stdpp/Iris.Bump Iris.Bump Iris.Bump Iris (C→O rename) and remove some dead files.prepare for API-triggered buildsBump Iris.Bump Iris and start porting to Coq master.Fix.Bump Iris.Bump Iris and remove stale (broken) file.Bump Iris.fix TIMING_CONFtime Coq 8.9.0bump Iris; test against Coq 8.9.0update URL for iris repotest against std++ master every nightupdate CI and MakefileUpdate CI to reflect promotion to master.stop doing CI on this branchstdppstdppUpdate the readme to describe how this relates to the original version.Bump Iris.Bump Iris.update Makefileupdate MakefileBump Iris.update Makefile and CI configupdate Makefile and CI configbump Irisremove no-longer-needed Makefile hackeryremove no-longer-needed Makefile hackerybump Iriswrite URLs the way opam writes themdont share cache with other branchdont share cache with other branchuse Docker image matching CI branch